Special Issue: Formal Methods in Aerospace

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.

[img] 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: http://eprints.maths.manchester.ac.uk/id/eprint/1809

Actions (login required)

View Item View Item