Information Services banner Edinburgh Research Archive The University of Edinburgh crest

Advanced Search
Home
 
Browse
Communities
& Collections
Issue Date
Author
Title
Subject
Publication Type
 
Sign on to:
Receive email
updates
My ERA
authorized users
Edit Profile
 
About DSpace

Edinburgh Research Archive >
Informatics, School of >
Informatics Publications >

Please use this identifier to cite or link to this item: http://hdl.handle.net/1842/4771

This item has been viewed 3 times in the last year. View Statistics

Files in This Item:

File Description SizeFormat
BundyA_The AI4FM approach.pdf97.24 kBAdobe PDFView/Open
Title: The AI4FM approach for proof automation within formal methods — A Grand Challenge 6 "Dependable Systems Evolution" project
Authors: Grov, Gudmund,
Bundy, Alan
Jones, Cliff B
Ireland, Andrew
Issue Date: Apr-2010
Journal Title: Grand Challenges in Computing Research – ACM-BCS Visions of Computer Science 2010
URI: http://hdl.handle.net/1842/4771
Appears in Collections:Informatics Publications

Items in ERA are protected by copyright, with all rights reserved, unless otherwise indicated.

 
Valid XHTML 1.0! Unless explicitly stated otherwise, all material is copyright © The University of Edinburgh 2013, and/or the original authors. Privacy and Cookies Policy