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]
@inproceedings{VelosoCF81,
title = {Systematic Derivation of Complementary Specifications},
author = {Paulo A. S. Veloso and José Mauro Volkmer de Castilho and Antonio L. Furtado},
year = {1981},
tags = {systematic-approach},
researchr = {https://researchr.org/publication/VelosoCF81},
cites = {0},
citedby = {0},
pages = {409-421},
booktitle = {Very Large Data Bases, 7th International Conference, September 9-11, 1981, Cannes, France, Proceedings},
publisher = {IEEE Computer Society},
}