Verification, Model Checking, and Abstract Interpretation: Proc./13th International Conference, VMCAI 2012, Philadelphia,PA,USA, January 2012

Б2.2, Б3.54.

Verification, Model Checking, and Abstract Interpretation: Proc./13th International Conference, VMCAI 2012, Philadelphia,PA,USA, January 2012Ed. by Kuncak V., Rybalchenko A..-Berlin.: Springer, 2012.-Vol. 7148.-457 p.-(Lecture Notes in Computer Science).