Laira Vieira Toscani, Paulo A. S. Veloso. Desenvolvimento de Algoritmos Aproximativos por Acercamento: Especificação Formal. In Roberto Spolidoro, Eratóstenes E. R. Araújo, Décio Fonseca, Judith Kelner, Silvio Meira 0001, editors, Proceedings of the 3rd Brazilian Symposium on Software Engineering, SBES 1989, Recife, PE, Brazil, October 25-27, 1989. pages 228-238, SBC, 1989. [doi]
@inproceedings{ToscaniV89-0,
title = {Desenvolvimento de Algoritmos Aproximativos por Acercamento: Especificação Formal},
author = {Laira Vieira Toscani and Paulo A. S. Veloso},
year = {1989},
doi = {10.5753/sbes.1989.25262},
url = {https://doi.org/10.5753/sbes.1989.25262},
researchr = {https://researchr.org/publication/ToscaniV89-0},
cites = {0},
citedby = {0},
pages = {228-238},
booktitle = {Proceedings of the 3rd Brazilian Symposium on Software Engineering, SBES 1989, Recife, PE, Brazil, October 25-27, 1989},
editor = {Roberto Spolidoro and Eratóstenes E. R. Araújo and Décio Fonseca and Judith Kelner and Silvio Meira 0001},
publisher = {SBC},
}