bibtex

@inproceedings{AV1,
    title = { },
    team = {PACSS},
    ??itle = {Model Generation for Quantified Formulas: {A} Taint-Based Approach}, ??uthor = {Farinier, Benjamin and Bardin, Sebastien and Bonichon, Richard and Potet, Marie-Laure}, ??ooktitle = {CAV'18, 30th International Conference on Computer Aided Verification}, ??eam = {PACSS}, ??ear = {2018},
}

Publication Sections


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

info visites 1245790