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}, }