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


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

info visites 4128298