|
Edinburgh Research Archive >
Browsing by Author Ireland, Andrew
Showing results 1 to 3 of 3
| Issue Date | Title | Author(s) | Supervisor(s) | | Apr-2010 | The AI4FM approach for proof automation within formal methods — A Grand Challenge 6 "Dependable Systems Evolution" project | Grov, Gudmund,; Bundy, Alan; Jones, Cliff B; Ireland, Andrew | - |
| Jul-1997 | Planning Proofs of Correctness of CCS Systems | Monroy-Borja, Raul | Bundy, Alan; Hesketh, Jane; Green, Ian; Ireland, Andrew |
| 1994 | Proof Plans for the Correction of False Conjectures | Bundy, Alan; Monroy, Raul; Ireland, Andrew | - |
Showing results 1 to 3 of 3
|
