Protótipos Funcionais a partir de Especificações Formais em VDM

Paulo Borba, Silvio Meira
1989
Type
Conference paper
Publication
III Simpósio Brasileiro de Engenharia de Software (SBES 1989)
comments powered by Disqus