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]
Abstract is missing.