Verification, Model Checking, and Abstract Interpretation: Proc./7th International Conference, VMCAI 2006. Charleston, SC, USA, January 2006

Б2.2, Б3.54, Б2.1.

Verification, Model Checking, and Abstract Interpretation: Proc./7th International Conference, VMCAI 2006. Charleston, SC, USA, January 2006Ed. by Emerson E. A., Namjoshi K. S..-Berlin, Heidelberg.: Springer, 2006.-Vol. 3855.-443 p.-(Lecture Notes in Computer Science).