NASA formal methods : 8th international symposium, NFM, proceedings, Minneapolis, MN, USA, June 7-9, 2016 (e-book)
NASA formal methods : 8th international symposium, NFM, proceedings, Minneapolis, MN, USA, June 7-9, 2016 (e-book)
- Berlin Springer 2016
- Lecture Notes in Computer Science (LNCS) v.9690 .
978-3-319-40648-0
Computer science and engineering
Formal methods (Computer science)--Congresses
Fault-tolerant computing
Computer software
978-3-319-40648-0
Computer science and engineering
Formal methods (Computer science)--Congresses
Fault-tolerant computing
Computer software