Verification, Model Checking, and Abstract Interpretation: Proc./4th Intern. Conf., VMCAI 2003, New York, NY, USA, January 2003

Б2.23, Б3.54, Б2.24.

Verification, Model Checking, and Abstract Interpretation: Proc./4th Intern. Conf., VMCAI 2003, New York, NY, USA, January 2003Ed. by Zuck L. D., Attie P. C., Cortesi A., Mukhopadhyay S..-Berlin, Heidelberg.: Springer, 2003.-Vol. 2575.-325 p.-(Lecture Notes in Computer Science).