Edinburgh Research Explorer

The AI4FM approach for proof automation within formal methods

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

Standard

The AI4FM approach for proof automation within formal methods. / Grov, Gudmund; Bundy, Alan; Jones, Cliff B.; Ireland, Andrew.

UKCRC Grand Challenges in Computing Research (GCCR‘10). 2010.

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

Harvard

Grov, G, Bundy, A, Jones, CB & Ireland, A 2010, The AI4FM approach for proof automation within formal methods. in UKCRC Grand Challenges in Computing Research (GCCR‘10).

APA

Grov, G., Bundy, A., Jones, C. B., & Ireland, A. (2010). The AI4FM approach for proof automation within formal methods. In UKCRC Grand Challenges in Computing Research (GCCR‘10)

Vancouver

Grov G, Bundy A, Jones CB, Ireland A. The AI4FM approach for proof automation within formal methods. In UKCRC Grand Challenges in Computing Research (GCCR‘10). 2010

Author

Grov, Gudmund ; Bundy, Alan ; Jones, Cliff B. ; Ireland, Andrew. / The AI4FM approach for proof automation within formal methods. UKCRC Grand Challenges in Computing Research (GCCR‘10). 2010.