Combining UML and Z in a Software Process

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Original languageEnglish
Title of host publicationProceedings of Informatik 2001
Place of PublicationVienna, Austria
Publication statusPublished - 2001

Cite this