@inproceedings{GI5,
title = { Interprocedural Reachability for Flat Integer Programs },
author = {Ganty, Pierre and Iosif, Radu},
year = {2015},
booktitle = {Fundamentals of Computation Theory - 20th International Symposium, {FCT} 2015, Gda{\'{n}}sk, Poland, August 17-19, 2015, Proceedings},
crossref = {DBLP:conf/fct/2015},
pages = {133--145},
team = {PACSS},
timestamp = {Wed, 17 May 2017 14:24:43 +0200},
biburl = {https://dblp.org/rec/bib/conf/fct/GantyI15},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
