The AI4FM approach for proof automation within formal methods (2010)

First Author: Grov G
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: https://www.era.lib.ed.ac.uk/handle/1842/4771

Type: Conference/Paper/Proceeding/Abstract