NASA Formal Methods [E-Book]: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings / edited by Alwyn E. Goodloe, Suzette Person.
Goodloe, Alwyn E.
Person, Suzette.
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
digital.
englisch
9783642288913
10.1007/978-3-642-28891-3
Lecture notes in computer science ; 7226
Full Text
Description not available.