On Specification Carrying Software‚ its Refinement and Composition
Matthias Anlauff and Dusko Pavlovic
Book Title
Proceedings of IDPT 2002
Editor
H. Ehrig and B.J. Krämer and A. Ertas
Publisher
Society for Design and Process Science
Year
2002
Matthias Anlauff and Dusko Pavlovic