Options
Title
Nasa formal methods. 8th international symposium, NFM 2016. Proceedings
Title Supplement
Minneapolis, MN, USA, June 7-9, 2016
Publisher
Publishing Place
Cham
Publication Date
2016
Series
Lecture Notes in Computer Science; 9690
ISBN
978-3-319-40647-3
978-3-319-40648-0