Grov, Gudmund and Jones, Cliff B. (2010) AI4FM: A New Project Seeking Challenges! Technical Report. Newcastle University .
![[img]](../style/images/fileicons/application_pdf.png)
| PDF 99Kb |
Official URL: http://www.cs.ncl.ac.uk/publications/trs/papers/1216.pdf
| Item Type: | Monograph (Technical Report) |
|---|---|
| Subjects: | Methodology > Proof and model checking |
| ID Code: | 284 |
| Deposited By: | Prof Cliff Jones |
| Deposited On: | 31 Jan 2011 17:19 |
| Last Modified: | 31 Jan 2011 17:19 |
Repository Staff Only: item control page
