Resumo Da Teórica
Ficha 2 - Distribuição de gabinetes
Ficha 3 - Cryptarithms
Ficha 4 - Formalização de modelos de domínio em FOL
Ficha 5 e 6
Ficha 7 e 8
Alloy
Ficha 9 e +
Resumo Teste