Verification, Modal Checking, and Abstract Interpretation: Proc./14th International Conference, VMCAI 2013, Rome, Italy, January, 2013

Б2.2, Б3.54, Б2.11.

Verification, Modal Checking, and Abstract Interpretation: Proc./14th International Conference, VMCAI 2013, Rome, Italy, January, 2013Ed. by Giacobazzi R., Berdine J., Mastroeni I..-Berlin.: Springer, 2013.-Vol. 7737.-556 p.-(Lecture Notes in Computer Science).