On Logical Specifications and Program Development
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