FORSOFT

BAYERISCHER FORSCHUNGSVERBUND SOFTWARE-ENGINEERING

Logo FORSOFT

Formale, semantische Fundierung und eine darauf abgestützte Verifikationsmethode für SDL

21.02.2018

U. Hinkel Dissertation, Technische Universität München, 1998

Informationen

Gründungsdatum

02.2000

Ende

01.2003

Gefördert durch

Bayerische Forschungsstiftung