Home > FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings > Lessons in the Weird and Unexpected: Some Experiences from Checking Large Real Systems
FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings |
Springer Berlin Heidelberg
Lessons in the Weird and Unexpected: Some Experiences from Checking Large Real Systems
Chapter Info
Authors
ARI Id
1664874872894_3879874
Access
Not Available Free
Pages
33-33
DOI
Chapter URL
Table of Contents of Book
| Chapters/Headings | Author(s) | Pages | Info |
| Loading... | |||
| Chapters/Headings | Author(s) | Pages | Info |
Similar Books
Loading...
Similar Chapters
Loading...
Similar Thesis
Loading...
Similar News
Loading...
Similar Articles
Loading...
Similar Article Headings
Loading...