author : Nico Plat

Short works

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