Leveraging applications of formal methods, verification and validation: 6th international symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8 - 11, 2014 ; proceedings. Springer.
Chicago-Zitierstil (17. Ausg.)Leveraging Applications of Formal Methods, Verification and Validation: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8 - 11, 2014 ; Proceedings. Berlin [u.a.]: Springer.
MLA-Zitierstil (9. Ausg.)Leveraging Applications of Formal Methods, Verification and Validation: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8 - 11, 2014 ; Proceedings. Springer.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.