论文信息 - The VDM Domain Compiler: A VDM Class Library Generator - 字舞流文

The VDM Domain Compiler: A VDM Class Library Generator

Uwe Schmidt | Hans-Martin Hörcher

[1] Uwe Schmidt,et al. Programming with VDM Domains , 1990, VDM Europe.

[2] Debora Weber-Wulff. A Buffering System Implementation using VDM , 1990, VDM Europe.