A System For Translating Executable VDM Specifications Into Lazy ML

Paulo Borba, Silvio Meira
1997
Type
Journal article
Publication
Software, Practice & Experience
comments powered by Disqus