Edmund M. Clarke

No bio available. Add one in Open Library.

Books by Edmund M. Clarke (50 max)

+ shelf+ list

Handbook of Model Checking

2017

Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem

+ shelf+ list

Logic for Programming Artificial Intelligence and Reasoning Lecture Notes in Artificial Intelligence

2011

Edmund M. Clarke

+ shelf+ list

Model Checking, Second Edition

2018

Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith, Edmund M. Clarke