A Proof Obligation Generator for the IFAD VDM-SL Toolbox

Bernhard Aichernig

Publikation: Studienabschlussarbeit › Diplomarbeit

Originalspracheenglisch
PublikationsstatusVeröffentlicht - 1997

Dieses zitieren