Citazione Stile APA (7a Edizione)
Gilles Barthe, M. H. Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings. Springer.
Citazione stile Chigago Style (17a edizione)
Gilles Barthe, Manuel Hermenegildo. Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings. Berlín, Alemania: Springer.
Citatione MLA (9a ed.)
Gilles Barthe, Manuel Hermenegildo. Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings. Springer.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.