We will be undergoing system maintenance on May 16th, 2024 from 2 am through 6 am central time. The system will be unavailable during that time. Please plan accordingly.
Daniel Kroening
Daniel Kroening is Professor of Computer Science at the University of Oxford.
Books
Model Checking, 2e
9780262038836
