Projects per year
Original language | English |
---|---|
Title of host publication | Proceedings of AVoCS 2010 and Rodin User and Developer Workshop 2010 |
Publication status | Published - 2010 |
Projects
- 1 Finished
-
A14FM : using A1 to aid automation of proof search in formal methods
Bundy, A. (Principal Investigator), Bundy, A. (Sponsor), Grov, G. (Co-Investigator (External)), Ireland, A. (Co-Investigator (External)) & Jones, C. B. (Co-Investigator (External))
1/04/10 → 31/03/14
Project: Research