author : Dines Bjorner

Books

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

Papers/Articles

• 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