Login
Document type:
Monografie / Monograph
Title:
Rigorous derivation of a sophisticated algorithm: smoothshort
Series title:
Bericht / Fachbereich Informatik, Hochschule der Bundeswehr München
Series volume:
8302
Place of publication:
Neubiberg
Publisher:
Hochschule der Bundeswehr München
Year:
1983
Pages (Book):
47
Language:
Englisch
Department:
Fakultät für Informatik
Institute:
INF 2 - Institut für Softwaretechnologie
Chair:
Schmitz, Lothar
BibTeX