Verification, Model Checking, and Absract Interpretation: Proc./5th Intern. Conf., VMCAI 2004, Venice, Italy, January 2004

Б2.23, Б3.1, Б3.54.

Verification, Model Checking, and Absract Interpretation: Proc./5th Intern. Conf., VMCAI 2004, Venice, Italy, January 2004Ed. by Steffen B., Levi G..-Berlin, Heidelberg.: Springer, 2004.-Vol. 2937.-325 p.-(Lecture Notes in Computer Science).