Deduktion und Korrekte Software

Prof. Dr. Uwe Petermann
Fachbereich IMN der HTWK Leipzig
FITL
Leipzig (Germany)
uwe@imn.htwk-leipzig.de

Berichte des FIT Leipzig

Publikationen

Theorembeweiser ProCom

Lehre





Uwe Petermann 2005-02-24