On Specification Carrying Software‚ its Refinement and Composition

Bibliographic Details
Main Authors: Anlauff, M, Pavlovic, D
Format: Conference item
Published: Society for Design and Process Science 2002