Ideas for a high-level proof strategy language (2010)

First Author: Jones, CB
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)