Compositional Class Refinement in Object-Z

Tim McComb, Graeme Smith. Compositional Class Refinement in Object-Z. In Jayadev Misra, Tobias Nipkow, Emil Sekerinski, editors, FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings. Volume 4085 of Lecture Notes in Computer Science, pages 205-220, Springer, 2006. [doi]

Authors

Tim McComb

This author has not been identified. Look up 'Tim McComb' in Google

Graeme Smith

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