ISoLA Limassol & Margaria, T. (2018). Leveraging applications of formal methods, verification and validation: 8th international symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings. Springer.
Chicago-Zitierstil (17. Ausg.)ISoLA Limassol und Tiziana Margaria. Leveraging Applications of Formal Methods, Verification and Validation: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : Proceedings. Cham: Springer, 2018.
MLA-Zitierstil (9. Ausg.)ISoLA Limassol und Tiziana Margaria. Leveraging Applications of Formal Methods, Verification and Validation: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : Proceedings. Springer, 2018.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.