NASA Formal Methods
Subtitle: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings
By: edited by Alwyn E. Goodloe, Suzette Person
Contributors: Person, Suzette; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7226
Publisher: Springer Berlin Heidelberg
Published: 2012
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642288913
Subjects: Software Engineering/Programming and Operating Systems; Software engineering; Programming Techniques; Logic design; Logics and Meanings of Programs; Computer science; Programming Languages, Compilers, Interpreters; Operating systems (Computers); Operating Systems