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