Verifying Total Correctness of Graph Programs

Christopher M. Poskitt, Detlef Plump. Verifying Total Correctness of Graph Programs. ECEASST, 61, 2013. [doi]

Abstract

Abstract is missing.