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