Specr: algoritmo para especificação de modelos

Henrique Andrade (2016)