Cita APA (7a ed.)
Bernhard Beckert, F. D. Formal Verification of Object-Oriented Software: International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers. Springer.
Cita estilo Chicago (17a ed.)
Bernhard Beckert, Ferruccio Damiani. Formal Verification of Object-Oriented Software: International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers. Berlín, Alemania: Springer.
Cita MLA (9a ed.)
Bernhard Beckert, Ferruccio Damiani. Formal Verification of Object-Oriented Software: International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers. Springer.
אזהרה: ציטוטים אלה לעיתים לא מדויקים ב 100%.