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.
Edmund M. Clarke Jr.
Edmund M. Clark, Jr., is Professor of Computer Science at Carnegie Mellon University.
Books
Model Checking, 2e
9780262038836
