Logical Specifications: 4.B Interpretations of Many-Sorted Specifications
Autores
|
791 |
179,340
|
|
|
792 |
Thomas S. E. Maibaum
|
179,340
|
Informações:
Publicações do PESC
Título
Logical Specifications: 4.B Interpretations of Many-Sorted Specifications
Linha de pesquisa
Tipo de publicação
Relatório Técnico
Número de registro
ES-378/96
Data
3/1996
Resumo
Abstract
Arquivo