(2005). Verification, model checking, and abstract interpretation: 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings / Radhia Cousot (ed.).
Chicago-čujuhus (17. p.)Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005 : Proceedings / Radhia Cousot (ed.). 2005.
MLA-čujuhus (9. p.)Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005 : Proceedings / Radhia Cousot (ed.). 2005.
Muitte dárkkistit čujuhemiid riektatvuođa, ovdal go geavahat daid iežat deavsttas.