home
>
NF reviews
> H. Langmaack
Google >
H. Langmaack
author : H. Langmaack
Books
VDM '90: VDM and Z - Formal Methods in Software Development
. 1990.
With
Dines Bjorner
,
C. A. R. Hoare