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]

Authors

Paulo A. S. Veloso

This author has not been identified. Look up 'Paulo A. S. Veloso' in Google

José Mauro Volkmer de Castilho

This author has not been identified. Look up 'José Mauro Volkmer de Castilho' in Google

Antonio L. Furtado

This author has not been identified. Look up 'Antonio L. Furtado' in Google