author : Soren Prehn

Books

• VDM '91: Formal Software Development Methods, vol 1. 1991, with W. J. Toetenel

Short works

• Scheduling and Rescheduling of Trains. 1999. (In Industrial-Strength Formal Methods in Practice )