Ideas for a high-level proof strategy language (2010)
Attributed to:
AI4FM: using AI to aid automation of proof search in Formal Methods
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Publication URI: http://www.inf.ed.ac.uk/publications/online/1377.pdf
Type: Conference/Paper/Proceeding/Abstract
Volume: n/a
Parent Publication: 5th Automated Formal Methods workshop (AFM'10)