author : Michiel de Boer

Short works

• CombiCom: Tracking and Tracing Rail Traffic using VDM++. 1995. (In Applications of Formal Methods )