Paulo Henrique Monteiro Borba, Silvio Romero de Lemos Meira. Protótipos Funcionais a partir de Especificações Formais em VDM. 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 171-184, SBC, 1989. [doi]
Abstract is missing.