Incremental Derivation of Abstraction Relations for Data Refinement

Neil J. Robinson. Incremental Derivation of Abstraction Relations for Data Refinement. In Jin Song Dong, Jim Woodcock, editors, Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings. Volume 2885 of Lecture Notes in Computer Science, pages 246-265, Springer, 2003. [doi]

Abstract

Abstract is missing.