The Modularization Theorem for Unsorted and Many-sorted Specifications
Autores
594 |
179
|
Informações:
Publicações do PESC
Título
The Modularization Theorem for Unsorted and Many-sorted Specifications
Linha de pesquisa
Tipo de publicação
Relatório Técnico
Número de registro
ES-284/93
Data
7/1993
Resumo
Abstract
Arquivo