Login
Document type:
Zeitschriftenartikel / Journal Article
Title:
Formale Konsistenzsicherung in informellen Software-Spezifikationen
Journal:
Informatik, Forschung und Entwicklung (IFE)
Volume:
19
Issue:
1
Year:
2004
Pages from - to:
17-29
Language:
Deutsch
Department:
Fakultät für Informatik
Institute:
INF 2 - Institut für Softwaretechnologie
Chair:
Borghoff, Uwe M.
BibTeX