Bibliografia

Principal

• Logic in Computer Science: Huth & Ryan 2004 Cambridge University Press
• Principles of Model Checking: Baier & Katoen 2008 MIT Press

Secundária

Não foi definida bibliografia secundária