Skip to content
cs-conference-ranking.org

Specification of the MAA Standard in VDM.

Graeme I. P. Parkin, G. O'Neill

VenueBFM
Year1991
ProceedingsVDM Europe (1)
DBLP recordconf/fm/ParkinO91 ↗

Browse the full FM paper archive.