A Proof Obligation Generator for the IFAD VDM-SL Toolbox

Research output: ThesisDiploma ThesisResearch

Original languageEnglish
Publication statusPublished - 1997

Cite this

A Proof Obligation Generator for the IFAD VDM-SL Toolbox. / Aichernig, Bernhard.

1997.

Research output: ThesisDiploma ThesisResearch

@phdthesis{1f724bec571d4ab5bd00a5cbb7a655fd,
title = "A Proof Obligation Generator for the IFAD VDM-SL Toolbox",
author = "Bernhard Aichernig",
year = "1997",
language = "English",

}

TY - THES

T1 - A Proof Obligation Generator for the IFAD VDM-SL Toolbox

AU - Aichernig, Bernhard

PY - 1997

Y1 - 1997

M3 - Diploma Thesis

ER -