Plump, Detlef, The University of York, UK, United Kingdom
-
Volume 61: Graph Computation Models 2012 - Articles
Verifying Total Correctness of Graph Programs
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.
Electronic Communications of the EASST