Bujorianu, L.M. and Fisher, M. and Pasareanu, C., eds. (2011) Special Issue: Formal Methods in Aerospace. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 63 (1). Springer.
![[thumbnail of prefaceAMAI.pdf]](https://eprints.maths.manchester.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
prefaceAMAI.pdf Download (104kB) |
Official URL: http://www.springerlink.com/content/1012-2443/63/1...
| Item Type: | Book |
|---|---|
| Uncontrolled Keywords: | Cicada, formal methods for aerospace |
| Subjects: | MSC 2010, the AMS's Mathematics Subject Classification > 68 Computer science |
| Depositing User: | Dr. Manuela Luminita BUJORIANU |
| Date Deposited: | 25 Apr 2012 |
| Last Modified: | 20 Oct 2017 14:13 |
| URI: | https://eprints.maths.manchester.ac.uk/id/eprint/1809 |
Actions (login required)
 |
View Item |