- Suche

- Kontakt

Formal derivation of pointer algorithms

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