bibtex

@inproceedings{BM8d,
    title = { Extending Constraint-Only Representation of Polyhedra with Boolean Constraints },
    author = {Bakhirkin, Alexey and Monniaux, David},
    year = {2018},
    booktitle = {Static analysis (SAS)},
    pages = {127--145},
    team = {PACSS},
    entrysubtype = {intc},
}

URL

Publication Sections


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

info visites 1197672