Construction and deduction methods for the formal development of software (0)

by F W von Henke, A Dold, H Rue, D Schwier, M Strecker
Venue:In Broy and Jahnichen [2