Tech Reports Home Contact
Technical Report Series
Actions
Browse Reports
Information
Information for Authors
Contact Details

Technical Report HW-MACS-TR-0100


Title Contributions to AI4FM 2013
Authors Gudmund Grov, Ewen Maclean and Leo Freitas
Date 2013-08-01
Abstract This report contains the contributions to the 4th international workshop on Artificial Intelligence for Formal Methods (AI4FM 2013). This was held as a satellite event of the 4th conference on Interactive Theorem Proving (ITP 2013), in Rennes (France) on July 22nd 2013.
Group DSG
Notes
Download
Email Technical Report's Administrator
|MACS Home| Top of the Page

Department of Computer Science, Heriot-Watt University, Riccarton, Edinburgh, EH14 4AS, +44 (0) 131 4514152

Last Updated: 02 September 2003 Copyright Heriot-Watt University, Disclaimer