Flick, Nils Erik, Carl von Ossietzky Universität Oldenburg, Germany
-
Volume 73: Graph Computation Models - Selected Revised Papers from GCM 2015 - Articles
Proving Correctness of Graph Programs Relative to Recursively Nested Conditions
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.