Cover Image
Saved in:

NASA formal methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings /

Corporate Authors: NFM 2012 Norfolk, Va.), SpringerLink (Online service)
Other Authors: Goodloe, Alwyn E., Person, Suzette.
Format: Online Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer, c2012.
Series:Lecture notes in computer science ; 7226.
LNCS sublibrary. Programming and software engineering.
Subjects:
Online Access:Online version
Tags: Add Tag
No Tags, Be the first to tag this record!