(2006). Leveraging applications of formal methods: First international symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004 ; revised selected papers. Springer.
Chicago-Zitierstil (17. Ausg.)Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004 ; Revised Selected Papers. Berlin [u.a.]: Springer, 2006.
MLA-Zitierstil (9. Ausg.)Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004 ; Revised Selected Papers. Springer, 2006.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.