Description
About this book
NASA Formal Methods — 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedings. An English-language digital edition by Julia M. Badger (Editor); Kristin Yvonne Rozier (Editor), available in PDF.
Edition details
- Author / contributors: Julia M. Badger (Editor); Kristin Yvonne Rozier (Editor)
- Publisher: Springer International Publishing
- Publication date: April 23, 2014
- Language: English
- ISBNs: 9783319061993; 9783319062006
- Digital formats: PDF





Reviews
There are no reviews yet.