Edmund M. Clarke Jr.

Showing the single result

[PDF] Model Checking (Cyber Physical Systems Series) Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith