1
Assuntos:
“...Especificacao formal...”
Larch : uma alternativa para especificação formal
Dissertação
2
Assuntos:
“...Especificacao algebrica...”
Lop : uma abordagem unificada de especificação algébrica, orientação a objetos e processos
Tese