Verification, Model Checking, and Abstract Interpretation: Proc./Third Intern. Workshop, VMCAI 2002, Venice, Italy, January 2002

Б2.23, Б3.54.

Verification, Model Checking, and Abstract Interpretation: Proc./Third Intern. Workshop, VMCAI 2002, Venice, Italy, January 2002Ed. by Cortesi A..-Berlin, Heidelberg.: Springer, 2002.-Vol. 2294.-331 p.-(Lecture Notes in Computer Science).