author : Dines Bjorner

Books

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

Short works

• Scheduling and Rescheduling of Trains. 1999. (In Industrial-Strength Formal Methods in Practice )
• Domain modelling. 2000. (In Millennial Perspectives in Computer Science )
• "What is a method?" -- an essay on some aspects of domain engineering. 2003. (In Programming Methodology )