Ezio Bartocci, C. R. Ramakrishnan Model Checking Software - Springer 2013 - Lecture Notes in Computer Science . ISBN: 9783642391767 Subjects--Index Terms: Software Engineering; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs