Home›Books›D. BjornerD. BjornerNo biography available.Works (2)Vdm'87: Vdm-A Formal Method at WorkVDM '90