NASA formal methods : 7th international symposium, NFM, proceedings, Pasadena, CA, USA, April 27-29, 2015 (e-book)
NASA formal methods : 7th international symposium, NFM, proceedings, Pasadena, CA, USA, April 27-29, 2015 (e-book)
- Berlin Springer 2015
- Lecture Notes in Computer Science (LNCS) v.9058 .
978-3-319-17524-9
Computer science and engineering
Formal methods (Computer science)--Congresses
Fault-tolerant computing
Computer software
978-3-319-17524-9
Computer science and engineering
Formal methods (Computer science)--Congresses
Fault-tolerant computing
Computer software