NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings (Lecture Notes in Computer Science)
Der Band fasst die Beiträge des achten internationalen Symposiums zu formalen Methoden zusammen, präsentiert neue theoretische Konzepte und konkrete ...