Alastair Donaldson, David Parker Model Checking Software - 2012 ISBN: 978-3-642-31759-0 Subjects--Topical Terms: Logics and Meanings of ProgramsSoftware Engineering Programming Languages, Compilers, InterpretersComputer Science