The Library
Proceedings FM-09 workshop on formal methods for aerospace Eindhoven, The Netherlands, 3rd November 2009
Tools
Bujorianu, Manuela and Fisher, Michael, eds. (2009) Proceedings FM-09 workshop on formal methods for aerospace Eindhoven, The Netherlands, 3rd November 2009. Australia: Electronic Proceedings in Theoretical Computer Science.
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://published.eptcs.org/
Item Type: | Book | ||||
---|---|---|---|---|---|
Divisions: | Faculty of Science, Engineering and Medicine > Science > Mathematics | ||||
Publisher: | Electronic Proceedings in Theoretical Computer Science | ||||
Place of Publication: | Australia | ||||
Editor: | Bujorianu, Manuela and Fisher, Michael | ||||
Official Date: | 2009 | ||||
Dates: |
|
||||
Volume: | Vol.20 | ||||
Status: | Peer Reviewed | ||||
Publication Status: | Published |
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |