Extending C for Checking Shape Safety

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

Original language	English
Title of host publication	Proc. Graph Transformation for Verification and Concurrency (GT-VC 2005)
Publisher	Elsevier
Pages	95-112
DOIs	https://doi.org/10.1016/j.entcs.2005.03.035
Publication status	Published - 2006

Name	Electronic Notes in Theoretical Computer Science
Publisher	Elsevier
Number	2
Volume	154

Access to Document

@inproceedings{1a02766ce0b046ca9d95a580e855661e,

title = "Extending C for Checking Shape Safety",

author = "Detlef Plump and Michael Dodds",

year = "2006",

doi = "10.1016/j.entcs.2005.03.035",

language = "English",

series = "Electronic Notes in Theoretical Computer Science",

publisher = "Elsevier",

number = "2",

pages = "95--112",

booktitle = "Proc. Graph Transformation for Verification and Concurrency (GT-VC 2005)",

address = "Netherlands",

}

TY - GEN

T1 - Extending C for Checking Shape Safety

AU - Plump, Detlef

AU - Dodds, Michael

PY - 2006

Y1 - 2006

U2 - 10.1016/j.entcs.2005.03.035

DO - 10.1016/j.entcs.2005.03.035

M3 - Conference contribution

T3 - Electronic Notes in Theoretical Computer Science

SP - 95

EP - 112

BT - Proc. Graph Transformation for Verification and Concurrency (GT-VC 2005)

PB - Elsevier

ER -