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