bibtex

@inproceedings{BH9,
    title = { Disjunctive relational abstract interpretation for interprocedural program analysis },
    author = {Boutonnet, R\'emy and Halbwachs, Nicolas},
    month = {jan},
    year = {2019},
    booktitle = {VMCAI 2019 - 20th International Conference on Verification, Model Checking, and Abstract Interpretation},
    address = {Cascais, Portugal},
    team = {PACSS},
}

URL

Sections de Publications


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

info visites 1368991