The AI4FM approach for proof automation within formal methods — A Grand Challenge 6 "Dependable Systems Evolution" project
Grand Challenges in Computing Research – ACM-BCS Visions of Computer Science 2010
View/ Open
Date
04/2010Author
Grov, Gudmund,
Bundy, Alan
Jones, Cliff B
Ireland, Andrew