Edmund M. Clarke Jr.

  1. home
  2. Author
  3. Edmund M. Clarke Jr.
Edmund M. Clarke Jr.

5 Published BooksEdmund M. Clarke Jr.

Edmund M. Clark, Jr., is Professor of Computer Science at Carnegie Mellon University.

Popular Books by Edmund M. Clarke Jr.

Model Checking
Model Checking
View More

Model Checking

By: Edmund M. Clarke Jr.
Handbook of Model Checking
Handbook of Model Checking
View More

Handbook of Model Checking

By: Edmund M. Clarke Jr.
Computer-Aided Verification: 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings (Lecture Notes in Computer Science, 531)
Computer-Aided Verification: 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings (Lecture Notes in Computer Science, 531)
View More

Computer-Aided Verification: 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings (Lecture Notes in Computer Science, 531)

By: Edmund M. Clarke Jr.
Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised ... Papers (Lecture Notes in Computer Science)
Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised ... Papers (Lecture Notes in Computer Science)
View More

Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised ... Papers (Lecture Notes in Computer Science)

By: Edmund M. Clarke Jr.
Computer-Aided Verification '90: Proceedings of a Dimacs Workshop, June 18-21, 1990
Computer-Aided Verification '90: Proceedings of a Dimacs Workshop, June 18-21, 1990
View More

Computer-Aided Verification '90: Proceedings of a Dimacs Workshop, June 18-21, 1990

By: Edmund M. Clarke Jr.