Notação VDM Executável em Standard ML

Paulo Borba, Silvio Meira
1989
Type
Conference paper
Publication
IX Congresso da SBC
comments powered by Disqus