1
“... reality techniques, and an programming environment for developing the control logic. The programming...”
Ambiente de programação e integração para manufatura virtual “APIMV”
Dissertação
2
“... em teorias em lógica de primeira ordem e na construção incremental de especificações baseada em bibliotecas....”
Lop : uma abordagem unificada de especificação algébrica, orientação a objetos e processos
Tese