NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedings
- Författare
- Julia M. Badger
- (Edited by Julia M. Badger, Kristin Yvonne Rozier.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer International Publishing, Imprint: Springer | 2014 | Tyskland, Cham | XXVI, 360 sidor. 114 illus. online resource. | 978-3-319-06200-6 |