TY  - GEN
ID  - deploy278
UR  - http://www.ukcrc.org.uk/grand-challenge/gccr10-sub-20.cfm
A1  - Grov, Gudmund
A1  - Bundy, Alan
A1  - Jones, Cliff B.
A1  - Ireland, Andrew
TI  - The AI4FM approach for automation within formal methods
Y1  - 2010/04//
PB  - UK Computing Research Committee
AV  - none
ER  -

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>