Verifying Total Correctness of Graph Programs

Detlef Plump, Christopher Poskitt

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Number of pages20
JournalElectronic Communications of the EASST
Volume61
DOIs
Publication statusPublished - 2013
EventGraph Computation Models (GCM 2012), Revised Selected Papers - Bremen, Germany
Duration: 28 Sept 201229 Sept 2012

Cite this