An Analysis of Forward Simulation Data Refinement

Moshe Deutsch, Martin C. Henson. An Analysis of Forward Simulation Data Refinement. In Didier Bert, Jonathan P. Bowen, Steve King, Marina A. Waldén, editors, ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings. Volume 2651 of Lecture Notes in Computer Science, pages 148-167, Springer, 2003. [doi]

Authors

Moshe Deutsch

This author has not been identified. Look up 'Moshe Deutsch' in Google

Martin C. Henson

This author has not been identified. It may be one of the following persons: Look up 'Martin C. Henson' in Google