Cooperation of Formal Methods in an Engineering Based Software Development Process
Book chapter in Lecture Notes in Computer Science (January 2000)
The most recent citing publications are shown below. View all 13 publications that cite this research output on Dimensions.
Book chapter in Lecture Notes in Computer Science (January 2000)
Article in Science of Computer Programming (February 1999)
Book chapter in GI-Dissertationspreis (January 1998)