author : Eugene H. Durr

Short works

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