This page in English

Suche

Sitemap

Kontakt

E-Mail

Informatik »
Lehrstühle »
Datenbanken und Informationssysteme »
Prof. Möller »
Veröffentlichungen »
Publikationen »
Constructing programs from specifications

Constructing programs from specifications

B. Möller (ed.)

Proc. IFIP TC2 Conference, 1991.