The Library
Preface
Tools
Tools
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
Full text not available from this repository.
Official URL: http://dx.doi.org/10.1007/s10472-011-9273-7
| Item Type: | Journal Item |
|---|---|
| Divisions: | Faculty of Science > Mathematics |
| Journal or Publication Title: | Annals of Mathematics and Artificial Intelligence |
| Publisher: | Springer |
| ISSN: | 1012-2443 |
| Date: | 2011 |
| Volume: | Vol.63 |
| Number: | No.1 |
| Page Range: | pp. 1-3 |
| Identification Number: | 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" |
| URI: | http://wrap.warwick.ac.uk/id/eprint/49152 |
Actions (login required)
 |
View Item |
