Systematic Derivation of Complementary Specifications

Paulo A. S. Veloso, José Mauro Volkmer de Castilho, Antonio L. Furtado. Systematic Derivation of Complementary Specifications. In Very Large Data Bases, 7th International Conference, September 9-11, 1981, Cannes, France, Proceedings. pages 409-421, IEEE Computer Society, 1981. [doi]

Abstract

Abstract is missing.