1994
Report
Title

Korrekte Software durch formale Methoden

Title Supplement
Abschlußbericht des BMFT-Verbundprojekts "KORSO"
Author(s)
Broy, M.
Jähnichen, S.
Publisher
Fraunhofer FIRST
Publishing Place
Berlin
Language
German
FIRST