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

Publication Sections


Contact | Site Map | Site powered by SPIP 3.0.28 + AHUNTSIC [CC License]

info visites 1273739