Investigating Programs in Terms of Partial Graphs

Gunther Schmidt. Investigating Programs in Terms of Partial Graphs. In Hermann A. Maurer, editor, Automata, Languages and Programming, 6th Colloquium, Graz, Austria, July 16-20, 1979, Proceedings. Volume 71 of Lecture Notes in Computer Science, pages 505-519, Springer, 1979.

Abstract

Abstract is missing.