Model Checking, Second EditionOrna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith, Edmund M. Clarke · First published 2018Open the Tome
Validation of Evolving SoftwareHana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina · First published 2015Open the Tome
Verified Software : Theories, Tools and ExperimentsDimitra Giannakopoulou, Daniel Kroening · First published 2014Open the Tome
Digitaltechnik - eine praxisnahe Einfu hrungArmin Biere, Daniel Kroening, Georg Weissenbacher, Christoph M. Wintersteiger · First published 2008Open the Tome
