Edinburgh Research Explorer

The AI4FM approach for proof automation within formal methods

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Related Edinburgh Organisations

Documents

Original languageEnglish
Title of host publicationUKCRC Grand Challenges in Computing Research (GCCR‘10)
Number of pages2
StatePublished - 2010

Download statistics

No data available

ID: 6333774