The Library
Preface
Tools
Bujorianu, Manuela, Fisher, Michael and Pasareanu, Corina (2011) Preface. Annals of Mathematics and Artificial Intelligence, Vol.63 (No.1). pp. 1-3. ISSN 1012-2443 doi:10.1007/s10472-011-9273-7
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
Official URL: http://dx.doi.org/10.1007/s10472-011-9273-7
Item Type: | Journal Item | ||||
---|---|---|---|---|---|
Divisions: | Faculty of Science, Engineering and Medicine > Science > Mathematics | ||||
Journal or Publication Title: | Annals of Mathematics and Artificial Intelligence | ||||
Publisher: | Springer | ||||
ISSN: | 1012-2443 | ||||
Official Date: | 2011 | ||||
Dates: |
|
||||
Volume: | Vol.63 | ||||
Number: | No.1 | ||||
Page Range: | pp. 1-3 | ||||
DOI: | 10.1007/s10472-011-9273-7 | ||||
Status: | Peer Reviewed | ||||
Publication Status: | Published | ||||
Access rights to Published version: | Restricted or Subscription Access | ||||
Description: | Editorial from the issue entitled "Special Issue: Formal Methods in Aerospace" |
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |