Model Checking Software
Alastair Donaldson, David Parker
Model Checking Software - 2012
978-3-642-31759-0
Logics and Meanings of Programs
Software Engineering
Programming Languages, Compilers, Interpreters
Computer Science
Model Checking Software - 2012
978-3-642-31759-0
Logics and Meanings of Programs
Software Engineering
Programming Languages, Compilers, Interpreters
Computer Science