home
>
book reviews
> Mark Saaltink
Google >
Mark Saaltink
author : Mark Saaltink
Short works
Z and Eves. 1992.
(In
6th Z User Workshop
)
The Z/EVES System. 1997.
(In
ZUM '97
)
Analysing Z Specifications with Z/EVES. 1999.
(In
Industrial-Strength Formal Methods in Practice
)