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.
Kopierad till urklipp
Kopiering till urklipp misslyckades
Chicago-referens (17:e uppl.)
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.
Kopierad till urklipp
Kopiering till urklipp misslyckades
MLA-referens (9:e uppl.)
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.
Kopierad till urklipp
Kopiering till urklipp misslyckades
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.