Automatic Translation of VDM Specifications into Standard ML Programs

• 1 December 1992
• journal article
• Published by Oxford University Press (OUP) in The Computer Journal
• Vol. 35  (6) , 623-624
• https://doi.org/10.1093/comjnl/35.6.623

Abstract