Diese Seite auf deutsch

Search

Sitemap

Kontakt

E-Mail

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