A method for the development of correct software

KORSO: Methods, Languages, and Tools for the Construction of Correct Software - Lecture Notes in Computer Science ◽

10.1007/bfb0015454 ◽

1995 ◽

pp. 25-57 ◽

Cited By ~ 4

Author(s):

Peter Pepper ◽

Martin Wirsing ◽

Ralph Betschko ◽

Manfred Broy ◽

Sabine Dick ◽

...