Cita APA (7a ed.)
Francesco Logozzo, D. A. P. Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings. Springer.
Cita estilo Chicago (17a ed.)
Francesco Logozzo, Doron A. Peled. Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings. Berlín, Alemania: Springer.
Cita MLA (9a ed.)
Francesco Logozzo, Doron A. Peled. Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings. Springer.
Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.