author : H. Langmaack

Books

• VDM '90: VDM and Z - Formal Methods in Software Development. 1990, with Dines Bjorner, C. A. R. Hoare