Autores

960
179

Informações:

Publicações do PESC

Título
On Logical Specifications and Program Development
Linha de pesquisa
Tipo de publicação
Relatório Técnico
Número de registro
ES-446/97
Data
8/1997
Resumo
Abstract
Arquivo
Topo