Daniel Kroening
Daniel Kroening
2 books in the database
Books
Co-authored books and collections
Books that list Daniel Kroening among their authors but not as the lead author: co-written works, collections and compilations.
Verified Software : Theories, Tools and ExperimentsDimitra Giannakopoulou
Verified Software : Theories, Tools and Experiments
Dimitra Giannakopoulou · 2014
Validation of Evolving SoftwareHana Chockler
Validation of Evolving Software
Hana Chockler · 2015
Model Checking, Second EditionOrna Grumberg
Model Checking, Second Edition
Orna Grumberg · 2018
Digitaltechnik - eine praxisnahe Einfu hrungArmin Biere
Digitaltechnik - eine praxisnahe Einfu hrung
Armin Biere · 2008