On Specification Carrying Software, its Refinement and Composition
Matthias Anlauf and Dusko Pavlovic infobook 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 |
links
BibTeX
Link (ps)
related pages
|
