Margins
Margins
Sign in
Margins
Subscribe to our newsletter
548 Market St PMB 65688, San Francisco California 94104-5401 USA
hello@margins.app
·
+1 (650) 223-5283
Privacy Policy
·
Terms of Use
© 2026 Paratext Inc. All rights reserved
Edmund Clarke Jr.
Edmund Clarke Jr.
Author · 1 book
Edmund M. Clark, Jr., is Professor of Computer Science at Carnegie Mellon University.
Books
Model Checking
1999
