Logical Specifications: Introdutction and Overview
Autores
742 |
Thomas S. E. Maibaum
|
340,179
|
743 |
340,179
|
Informações:
Publicações do PESC
Título
Logical Specifications: Introdutction and Overview
Linha de pesquisa
Tipo de publicação
Relatório Técnico
Número de registro
ES-358/95
Data
11/1995
Resumo
Abstract
Arquivo