Peter D Mosses Formal Methods: State of the Art and New Directions
| Type of publication: | Book |
| Citation: | BCS-FACS2009 |
| Booktitle: | Formal Methods: State of the Art and New Directions |
| Year: | 2009 |
| Publisher: | Springer |
| ISBN: | 978-1-84882-735-6 |
| DOI: | 10.1007/978-1-84882-736-3 |
| Userfields: | X-editor = {Paul P. Boca and Jonathan P. Bowen and Jawedd I. Siddiqi} |
| Keywords: | |
| Crossref by |
Mosses2009PLD |
| Added by: | [PDM] |
| Total mark: | 0 |
|
Attachments
|
|
|
Notes
|
|
|
|
|
|
Topics
|
|
|
|
|