EM.

Edmund M. Clarke, Jr.

Book for an event



Books by Edmund M. Clarke, Jr.
Model Checking, second edition
Edmund M. Clarke, Jr., Orna Grumberg, Daniel Kroening, Doron Peled
Read more