bibtex

@inproceedings{GIK13,
    title = {Underapproximation of Procedure Summaries for Integer Programs },
    author = {Ganty, Pierre and Iosif, Radu and Kone\v{c}n\'{y}, Filip},
    year = {2013},
    booktitle = {TACAS},
    crossref = {DBLP:conf/tacas/2013},
    pages = {245-259},
    team = {DCS,PACSS},
}


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

info visites 4121951