Home > Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
Book Informaton
Author
Tiziana Margaria; Bernhard Steffen
Series
Lecture Notes in Computer Science
Volume
6416
Year of Publication
2010
Publisher
Springer Berlin Heidelberg
City of Publication
Berlin, Heidelberg
Pages
XV, 498
Language
EN
ISBN
9783642165603, 9783642165610
ARI Id
1664764252461
This page has been accessed 6 times.
Access Options
Citation Options
Download CitationChapters/Headings | Author(s) | Pages | Info |
Loading... | |||
Chapters/Headings | Author(s) | Pages | Info |