home
>
book reviews
> Marcin Engel
Google >
Marcin Engel
author : Marcin Engel
Short works
Specifying Real-Time Systems with Z and the Duration Calculus. 1994.
(In
8th Z User Workshop
)