Edmund M. Clarke · 3 obras en el catálogoObrasLogic for Programming Artificial Intelligence and Reasoning Lecture Notes in Artificial IntelligenceHandbook of Model CheckingMModel Checking, Second EditionModel Checking, Second Edition