On Specification Carrying Software‚ its Refinement and Composition

Detalhes bibliográficos
Principais autores: Anlauff, M, Pavlovic, D
Formato: Conference item
Publicado em: Society for Design and Process Science 2002