Formalising and Verifying Graph Programs with Higher-Order Logic.

Robert Sldner, Detlef Plump

Browse the full ICGT paper archive.