Login
Document type:
Konferenzbeitrag / Conference Paper
Title:
Rigorous derivation of a sophisticated algorithm: smoothsort
Title of conference publication:
IFIP TC2/WG 2.1 Working Conference on Program Specification and Transformation
Conference title:
IFIP TC2/WG 2.1 Working Conference on Program Specification and Transformation (1987, Bad Tölz)
Venue:
Bad Tölz
Year of conference:
1987
Place of publication:
Amsterdam
Publisher:
North-Holland Publishing Co.
Year:
1987
Pages from - to:
49-72
Language:
Englisch
ISBN:
0-444-70223-7
Department:
Fakultät für Informatik
Institute:
INF 2 - Institut für Softwaretechnologie
Chair:
Schmitz, Lothar
Open Access yes or no?:
Nein / No
BibTeX