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]

Abstract

Abstract is missing.