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 I
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 I
Book Informaton
Author
Tiziana Margaria; Bernhard Steffen
Series
Lecture Notes in Computer Science
Volume
6415
Year of Publication
2010
Publisher
Springer Berlin Heidelberg
City of Publication
Berlin, Heidelberg
Pages
XX, 708
Language
en
ISBN
9783642165573, 9783642165580
ARI Id
1664746612249
This page has been accessed 5 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 57 entries
Chapters/Headings | Author(s) | Pages | Info |
1-2 | |||
3-3 | |||
4-17 | |||
18-32 | |||
33-46 | |||
47-57 | |||
58-59 | |||
60-74 | |||
75-89 | |||
90-105 | |||
106-120 | |||
121-121 | |||
122-136 | |||
137-151 | |||
152-168 | |||
169-183 | |||
184-197 | |||
198-213 | |||
214-227 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 57 entries