Search
Now showing items 1-3 of 3
Three Selected Case Studies in Verification
Fuchs, T. et al.; Broy, M.; Jähnichen, S. (1995)
Teil eines Buches
The KIV-approach to Software Verification
Reif, Wolfgang; Broy, M.; Jähnichen, S. (1995)
Teil eines Buches
A Method for the Development of Correct Software
Pepper, Peter et al.; Broy, M.; Jähnichen, S. (1995)
Teil eines Buches