Leveraging applications of formal methods, verification and validation [electronic resource] : applications and case studies ; 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings. Part II / Margaria, Bernhard Steffen (eds.)
The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012. The two volumes contain papers presented in the topic...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Corporate Author: | |
| Other Authors: | , |
| Other title: | ISoLA 2012. Applications and case studies. |
| Format: | Electronic Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
©2012.
|
| Series: | Lecture notes in computer science ;
7610. LNCS sublibrary. Theoretical computer science and general issues. |
| Subjects: |
Internet
Full Text (via Springer)Online
| Call Number: |
QA76.9.F67 I86 2012eb
|
|---|---|
| QA76.9.F67 I86 2012eb | Available |