Daniel Kroening

Daniel Kroening is Professor of Computer Science at the University of Oxford.

Books

Model Checking, 2e by Jr., Grumberg, Kroening, Peled, Veith 9780262038836

Details Purchase

Please review our browser version requirements below:

Browser	Version
Chrome (Recommended)	Latest
Firefox	Latest
Edge	Latest
Safari	Latest

For the best experience, please upgrade to the latest version of your browser. We suggest using Google Chrome. Cookies must be enabled in your browser while using our system.

Daniel Kroening

The MIT Press

Catalog

Daniel Kroening

The MIT Press

Catalog

Video Title

Common Access Code Issues

Common Payment Issues