This book constitutes the refereed proceedings of the Fourth International Symposium on NASA Formal Methods, NFM 2012, held in Norfolk, VA, USA, in April 2012.
$54.99
This book constitutes the refereed proceedings of the Fourth International Symposium on NASA Formal Methods, NFM 2012, held in Norfolk, VA, USA, in April ...
NASA formal methods. 4th international symposium, NFM 2012, Norfolk, VA, USA, April 3–5, 2012. Proceedings. January 2012; Lecture Notes in Computer Science ...
4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5 ...
www.barnesandnoble.com › Books
$54.99
This book constitutes the refereed proceedings of the Fourth International Symposium on NASA Formal Methods, NFM 2012, held in Norfolk, VA, USA, in April 2012.
NFM 2012 FIRST CALL FOR PAPERS Fourth NASA Formal Methods Symposium Norfolk, Virginia, USA April 3 - 5, 2012 http://shemesh.larc.nasa.gov/nfm2012/
Missing: 4th | Show results with:4th
Dec 11, 2011 · The symposium will take place at the Norfolk Waterside Marriott in Norfolk, Virginia, USA. April 3-5, 2012. There will not be a registration ...
Missing: Proceedings | Show results with:Proceedings
Alwyn Goodloe, Suzette Person: NASA Formal Methods - 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings.
NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings
Book
This book constitutes the refereed proceedings of the Fourth International Symposium on NASA Formal Methods, NFM 2012, held in Norfolk, VA, USA, in April 2012. The 36 revised regular papers presented together with 10 short papers, 3 invited talks... Google Books
Originally published: March 16, 2012
The symposium will take place at the Norfolk Waterside Marriott in Norfolk, Virginia, USA. April 3-5, 2012. There will not be a registration fee charged to ...
Missing: 4th | Show results with:4th
Proceedings of the 4th international conference on NASA Formal Methods
dl.acm.org › doi › proceedings
NFM'12: Proceedings of the 4th international conference on NASA Formal Methods ... Berlin, Heidelberg. Conference: Norfolk VA April 3 - 5, 2012.
Missing: USA, | Show results with:USA,
This book constitutes the refereed proceedings of the Fourth International Symposium on NASA Formal Methods, NFM 2012, held in Norfolk, VA, USA, in April 2012.