Loading…
NASA formal methods third international symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011 : proceedings /
This book constitutes the refereed proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, held in Pasadena, CA, USA, in April 2011. The 26 revised full papers presented together with 12 tool papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and sele...
Saved in:
Corporate Authors: | , |
---|---|
Other Authors: | |
Format: | Conference Proceeding eBook |
Language: | English |
Published: |
Berlin ; New York :
Springer,
©2011.
Berlin ; New York : [2011] |
Series: | Lecture notes in computer science ;
6617. LNCS sublibrary. Programming and software engineering. |
Physical Description: |
1 online resource (xiv, 534 pages) : illustrations. |
Subjects: | |
Online Access: | SpringerLink - Click here for access |
Copy 1 | CMU Electronic Access | Available |
---|