Home > NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings
NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings
Book Informaton
Author
Mihaela Bobaru; Klaus Havelund; Gerard Holzmann; Rajeev Joshi
Series
Lecture Notes in Computer Science
Volume
6617
Year of Publication
2011
Publisher
Springer Berlin Heidelberg
Pages
XIV, 534
Language
en
ISBN
9783642203978, 9783642203985
ARI Id
1664712599056
This page has been accessed 5 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 45 entries
Chapters/Headings | Author(s) | Pages | Info |
1-1 | |||
2-12 | |||
13-40 | |||
41-55 | |||
56-57 | |||
58-72 | |||
73-88 | |||
89-100 | |||
101-115 | |||
116-130 | |||
131-145 | |||
146-161 | |||
162-176 | |||
177-191 | |||
192-206 | |||
207-221 | |||
222-236 | |||
237-251 | |||
252-266 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 45 entries