by Jonathan Heinen, Christina Jansen, Joost-Pieter Katoen, Thomas Noll
Reference:
Verifying pointer programs using graph grammars (Jonathan Heinen, Christina Jansen, Joost-Pieter Katoen, Thomas Noll), In Science of Computer Programming, volume , 2013. ()
Bibtex Entry:
@article{Heinen2013,
title = "Verifying pointer programs using graph grammars ",
journal = "Science of Computer Programming ",
volume = "",
number = "0",
pages = " - ",
year = "2013",
note = "",
issn = "0167-6423",
doi = "http://dx.doi.org/10.1016/j.scico.2013.11.012",
url = "http://www.sciencedirect.com/science/article/pii/S0167642313002967",
author = "Jonathan Heinen and Christina Jansen and Joost-Pieter Katoen and Thomas Noll",
keywords = "Hyperedge replacement grammars",
keywords = "Java bytecode",
keywords = "Dynamic data structures",
keywords = "Verification "
}