Verification, Model Checking and Abstract Interpretation: Proc./6th International Conference, VMCAI 2005. Paris, France, January 2005

Б2.1, Б2.2.

Verification, Model Checking and Abstract Interpretation: Proc./6th International Conference, VMCAI 2005. Paris, France, January 2005Ed. by Cousot R..-Berlin, Heidelberg.: Springer, 2005.-Vol. 3385.-483 p.-(Lecture Notes in Computer Science).