Verifying Total Correctness of Graph Programs

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Proceedings 4th International Workshop on Graph Computation Models (GCM 2012)
Editors	Rachid Echahed, Annegret Habel, Mohamed Mosbah
Pages	1-15
Publication status	Published - 2012

Access to Document

@inproceedings{6a2d12ac80dd4ff3abf4111db25758f2,

title = "Verifying Total Correctness of Graph Programs",

author = "Chris Poskitt and Detlef Plump",

year = "2012",

language = "English",

pages = "1--15",

editor = "Rachid Echahed and Annegret Habel and Mohamed Mosbah",

booktitle = "Proceedings 4th International Workshop on Graph Computation Models (GCM 2012)",

}