Edmund M. Clarke

Edmund M. Clarke

2 books in the database

Books

Handbook of Model CheckingEdmund M. Clarke

Handbook of Model Checking

Edmund M. Clarke · 2018

Logic for Programming Artificial Intelligence and Reasoning Lecture Notes in Artificial IntelligenceEdmund M. Clarke

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

Edmund M. Clarke · 2011