Daniel Kroening

Daniel Kroening (born 6 November 1975) is a German computer scientist, Professor in computer science at the University of Oxford, and Chief Science Officer at the company he co-founded, Diffblue Ltd. He is a fellow of Magdalen College. Provided by Wikipedia
1
Decision procedures : an algorithmic point of view /
Book
Other Personal Name(s): “...Kroening, Daniel...”
Table of Contents 
Loan/Reservation

Favorites
Saved in:
2
Computer Aided Verification [E-Book] : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II /
Other Personal Name(s): “...Kroening, Daniel....”

Full text 
Favorites
Saved in:
3
Computer Aided Verification [E-Book] : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I /
Other Personal Name(s): “...Kroening, Daniel....”

Full text 
Favorites
Saved in:
4
Verified Software: Theories, Tools and Experiments [E-Book] : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers /
Other Personal Name(s): “...Kroening, Daniel....”

Full text 
Favorites
Saved in:
5
Hardware and Software: Verification and Testing [E-Book] : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers /
Other Personal Name(s): “...Kroening, Daniel....”

Full text 
Favorites
Saved in:
6
Digitaltechnik — Eine praxisnahe Einführung [E-Book] /
Other Personal Name(s): “...Kroening, Daniel....”

Full text 
Favorites
Saved in:
7
Decision Procedures [E-Book] : An Algorithmic Point of View /
Other Personal Name(s): “...Kroening, Daniel....”

Full text 
Favorites
Saved in: