NASA Formal Methods
8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings
- Editors
- (view affiliations)
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9690)
Also part of the Programming and Software Engineering book sub series (LNPSE, volume 9690)