English
Deutsch
Log In
Password Login
or
Log in with Fraunhofer Smartcard
Research Outputs
Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Artikel
KORSO - Korrekte Software durch formale Methoden
Details
Full
Export
Statistics
Options
1997
Journal Article
Titel
KORSO - Korrekte Software durch formale Methoden
Author(s)
Broy, M.
Jähnichen, S.
Zeitschrift
Informatik, Forschung und Entwicklung
DOI
10.1007/s004500050084
Language
German
google-scholar
View Details
FIRST