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/2010
Author
Grov, Gudmund,
Bundy, Alan
Jones, Cliff B
Ireland, Andrew
Metadata
Show full item record
URI
Collections