Tohutoro APA (7th ed.)
Gilles Barthe, M. H. Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings. Springer.
Tohutoru Kātū Chicago (17th ed.)
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.
Tohutoro MLA (9th ed.)
Gilles Barthe, Manuel Hermenegildo. Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings. Springer.
Kia tūpato: Kāore pea ēnei kupu hautoa i te ōrite pū 100%.