home
>
book reviews
> Moshe Deutsch
Google >
Moshe Deutsch
author : Moshe Deutsch
Short works
An Analysis of forward simulation data refinement. 2003.
(In
ZB 2003
)
Operation refinement and monotonicity in the schema calculus. 2003.
(In
ZB 2003
)