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


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

info visites 4093379