A Proof Obligation Generator for the IFAD VDM-SL Toolbox

Research output: ThesisDiploma ThesisResearch

Original languageEnglish
Publication statusPublished - 1997

Cite this