Daniel Kroening

No bio available. Add one in Open Library.

Books by Daniel Kroening (50 max)

+ shelf+ list

Decision Procedures: An Algorithmic Point of View

2008

Daniel Kroening

+ shelf+ list

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

2015

Daniel Kroening, Corina S. Păsăreanu

+ shelf+ list

Validation of Evolving Software

2015

Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina

+ shelf+ list

Verified Software : Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

2014

Dimitra Giannakopoulou, Daniel Kroening

+ shelf+ list

Digitaltechnik - eine praxisnahe Einfu hrung

2008

Armin Biere, Daniel Kroening, Georg Weissenbacher, Christoph M. Wintersteiger

+ shelf+ list

Model Checking, Second Edition

2018

Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith, Edmund M. Clarke