From VDM Specifications To Functional Prototypes

Paulo Borba, Silvio Meira
1993
Type
Journal article
Publication
The Journal of Systems and Software
comments powered by Disqus