Agostino Cortesi, editor, Verification, Model Checking, and Abstract Interpretation, Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers. Volume 2294 of Lecture Notes in Computer Science, Springer, 2002.
Conference: vmcai2002
@proceedings{vmcai:2002, title = {Verification, Model Checking, and Abstract Interpretation, Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers}, year = {2002}, tags = {model checking, meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/vmcai%3A2002}, cites = {0}, citedby = {0}, booktitle = {Verification, Model Checking, and Abstract Interpretation, Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers}, conference = {vmcai}, editor = {Agostino Cortesi}, volume = {2294}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-43631-6}, }