Toggle Main Menu Toggle Search

Open Access padlockePrints

The AI4FM approach for automation within formal methods

Lookup NU author(s): Dr Gudmond Grov, Emeritus Professor Cliff JonesORCiD

Downloads

Full text is not currently available for this publication.


Publication metadata

Author(s): Grov G, Bundy A, Jones CB, Ireland A

Publication type: Report

Publication status: Published

Series Title:

Year: 2010

Pages: 2

Print publication date: 01/04/2010

Source Publication Date: April 2010

Institution: UK Computing Research Committee

URL: http://www.ukcrc.org.uk/grand-challenge/gccr10-sub-20.cfm


Share