home
>
book reviews
> Michiel de Boer
Google >
Michiel de Boer
author : Michiel de Boer
Short works
CombiCom: Tracking and Tracing Rail Traffic using VDM++. 1995.
(In
Applications of Formal Methods
)