bibtex

@article{GIK7,
    title = { Underapproximation of procedure summaries for integer programs },
    author = {Ganty, Pierre and Iosif, Radu and Konecn{\'y}, Filip},
    year = {2017},
    journal = {{STTT}},
    number = {5},
    pages = {565--584},
    volume = {19},
    team = {RSD},
    timestamp = {Tue, 05 Sep 2017 14:29:30 +0200}, biburl = {https://dblp.org/rec/bib/journals/sttt/GantyIK17}, bibsource = {dblp computer science bibliography, https://dblp.org},
}

URL


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

info visites 4159428