Specification and Transformation: Methodology Aspects of the Vienna Development Method



TypeConference paper [With referee]
ConferenceTAPSOFT'89
Year1989    pp. 1-35
PublisherSV
SeriesLecture notes in computer science 352
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering