Verification, Model Checking, and Abstract Interpretation, Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers

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},
}