T12 - Verificação de modelos em CTL 2

5 dezembro 2017, 17:00 • Paulo Alexandre Carreira Mateus

Conclusion of the previous class.