Raul César B. Martins, Gustavo de O. Annarumma, Luiza Maria F. Carneiro, Arnaldo Hilário Viegas de Lima, Paschoal Molinari No., Elisabete M. B. de la Quintana, Ronaldo Stern. Métodos Formais para Desenvolvimento de Software: Um estudo de caso, o projeto GARDEN. 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 201-213, SBC, 1989. [doi]
@inproceedings{MartinsACLNQS89,
title = {Métodos Formais para Desenvolvimento de Software: Um estudo de caso, o projeto GARDEN},
author = {Raul César B. Martins and Gustavo de O. Annarumma and Luiza Maria F. Carneiro and Arnaldo Hilário Viegas de Lima and Paschoal Molinari No. and Elisabete M. B. de la Quintana and Ronaldo Stern},
year = {1989},
doi = {10.5753/sbes.1989.25260},
url = {https://doi.org/10.5753/sbes.1989.25260},
researchr = {https://researchr.org/publication/MartinsACLNQS89},
cites = {0},
citedby = {0},
pages = {201-213},
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},
}