Leila Ribeiro 0001, Daltro José Nunes. Especificação de um Programa de Matrículas Utilizando 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 185-200, SBC, 1989. [doi]
No references recorded for this publication.
No citations of this publication recorded.