This page in English

Suche

Sitemap

Kontakt

E-Mail

Informatik »
Lehrstühle »
Datenbanken und Informationssysteme »
Prof. Möller »
Veröffentlichungen »
Publikationen »
Derivation of graph and pointer algorithms

Derivation of graph and pointer algorithms

B. Möller

In B. Möller, H.A. Partsch, S.A. Schuman (eds.): Formal program development, LNCS 755.
pp. 123-160, 1993.
Springer-Verlag.