Preservation and Reflection in Specification

Antónia Lopes, José Luiz Fiadeiro. Preservation and Reflection in Specification. In Michael Johnson, editor, Algebraic Methodology and Software Technology, 6th International Conference, AMAST 97, Sydney, Australia, December 13-17, 1997, Proceedings. Volume 1349 of Lecture Notes in Computer Science, pages 380-394, Springer, 1997.

Authors

Antónia Lopes

This author has not been identified. Look up 'Antónia Lopes' in Google

José Luiz Fiadeiro

This author has not been identified. Look up 'José Luiz Fiadeiro' in Google