Derivation of Graph and Pointer Algorithms - researchr publication

researchr

You are not signed in
Sign in
Sign up

Bernhard Möller. Derivation of Graph and Pointer Algorithms. In Bernhard Möller, Helmuth Partsch, Stephen A. Schuman, editors, Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art Report. Volume 755 of Lecture Notes in Computer Science, pages 123-160, Springer, 1993.

Abstract is missing.

runs on WebDSL