A Proof Obligation Generator for the IFAD VDM-SL Toolbox

Research output: ThesisDiploma Thesis

Original languageEnglish
Publication statusPublished - 1997

Cite this