Verification, Model Checking, and Abstract Interpretation
Subtitle: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings
By: edited by Viktor Kuncak, Andrey Rybalchenko
Contributors: Rybalchenko, Andrey; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7148
Publisher: Springer Berlin Heidelberg
Published: 2012
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642279409
Subjects: Mathematical Logic and Formal Languages; Programming Techniques; Software engineering; Algorithm Analysis and Problem Complexity; Logic design; Logics and Meanings of Programs; Computer science; Programming Languages, Compilers, Interpreters; Computer software