On The Roleof Axiomatic Specifications In Program Development
Autores
959 |
179
|
Informações:
Publicações do PESC
Título
On The Roleof Axiomatic Specifications In Program Development
Linha de pesquisa
Tipo de publicação
Relatório Técnico
Número de registro
ES-445/97
Data
8/1997
Resumo
Abstract
Arquivo