Leveraging applications of formal methods, verification, and validation [electronic resource] : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised selected papers / Anna-Lena Lamprecht (ed.)
This book constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA 2014, held in Corfu, Greece, in October 2014, and the 5th International Symposium, ISoLA 2012, held in Heraklion, Crete, Greece, in Octo...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Corporate Authors: | , |
| Other Authors: | |
| Other title: | ISoLA 2014. ISoLA 2012. |
| Format: | Electronic Conference Proceeding eBook |
| Language: | English |
| Published: |
Cham :
Springer,
2016.
|
| Series: | Communications in computer and information science ;
683. |
| Subjects: |
Internet
Full Text (via Springer)Online
| Call Number: |
QA76.758
|
|---|---|
| QA76.758 | Available |