by Christina Jansen, Thomas Noll
Reference:
Generating Abstract Graph-Based Procedure Summaries for Pointer Programs (Christina Jansen, Thomas Noll), Springer, volume 8571, 2014. (Proc. 7th Int. Conf. on Graph Transformation (ICGT 2014))
Bibtex Entry:
@string{lncs="Lecture Notes in Computer Science"}
@BOOK{Jansen:465755,
author = {Jansen, Christina and Noll, Thomas},
title = {{G}enerating {A}bstract {G}raph-{B}ased {P}rocedure
{S}ummaries for {P}ointer {P}rograms},
volume = {8571},
publisher = {Springer},
isbn = {978-3-319-09107-5},
series = {LNCS},
pages = {49-64},
year = {2014},
comment = {Proc. 7th Int. Conf. on Graph Transformation (ICGT 2014)},
booktitle = {Proc. 7th Int. Conf. on Graph
Transformation (ICGT 2014)},
cin = {121310 / 120000},
cid = {$I:(DE-82)121310_20140620$ / $I:(DE-82)120000_20140620$},
typ = {PUB:(DE-HGF)8 / PUB:(DE-HGF)7},
url = {http://publications.rwth-aachen.de/record/465755},
}