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

Full text not available from this repository.
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

Request changes to a record

Actions (login required)

View Item View Item