Daniel Kroening

Decision Procedures

2018

Model Checking, Second Edition

Model Checking, Second Edition

2018

Validation of Evolving Software

2016

Digitaltechnik - eine praxisnahe Einfu hrung

2008