This page in English

Suche

Sitemap

Kontakt

E-Mail

Informatik »
Lehrstühle »
Datenbanken und Informationssysteme »
Prof. Möller »
Veröffentlichungen »
Publikationen »
Formal derivation of pointer algorithms

Formal derivation of pointer algorithms

B. Möller

In M. Broy (ed.): Informatik und Mathematik.
pp. 419-440, 1991.
Springer-Verlag.