bibtex

@inproceedings{BM7b,
    title = { Combining Forward and Backward Abstract Interpretation of {H}orn Clauses },
    author = {Bakhirkin, Alexey and Monniaux, David},
    year = {2017},
    booktitle = {Static analysis (SAS)},
    volume = {10422},
    team = {PACSS},
    entrysubtype = {intc},
}

URL

Publication Sections


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

info visites 1360511