Diese Seite auf deutsch

Search

Sitemap

Kontakt

E-Mail

Computer Science »
Chairs »
Databases and Information Systems »
Prof. Möller »
Publications »
Publications »
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.