bibtex

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

URL


Contact | Plan du site | Site réalisé avec SPIP 4.2.8 + AHUNTSIC [CC License]

info visites 3900021