@inproceedings{22db9a0f25534f41a7ce6ca476ac43e6,
title = "Leveraging applications of formal methods, verification and validation: Specialized techniques and applications: 6th International Symposium, ISoLA 2014 Imperial, Corfu, Greece, October 8-11, 2014 Proceedings, Part II",
author = "Tiziana Margaria and Bernhard Steffen",
year = "2014",
doi = "10.1007/978-3-662-45231-8",
language = "English",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
editor = "Tiziana Margaria and Tiziana Margaria and Bernhard Steffen",
booktitle = "Leveraging Applications of Formal Methods, Verification and Validation - SpecializedTechniques andApplications - 6th International Symposium, ISoLA 2014, Proceedings",
note = "6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014 ; Conference date: 08-10-2014 Through 11-10-2014",
}