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 )