APA-Zitierstil (7. Ausg.)
Gary T. Leavens, P. O. Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings. Springer.
Chicago-Zitierstil (17. Ausg.)
Gary T. Leavens, Peter O.Hearn. Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings. Berlín, Alemania: Springer.
MLA-Zitierstil (9. Ausg.)
Gary T. Leavens, Peter O.Hearn. Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings. Springer.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.