Towards a Refinement Calculus for Object Systems

Jifeng He, Zhiming Liu, Xiaoshan Li. Towards a Refinement Calculus for Object Systems. In Proceedings of the 1st IEEE International Conference on Cognitive Informatics (ICCI 2002), 19-20 August 2002, Calgary, Canada. pages 69-76, IEEE Computer Society, 2002. [doi]

Abstract

Abstract is missing.