Verimag

bibtex

@inproceedings{'BBP4',
    title = { Backward Analysis via over-Approximate Abstraction and under-Approximate Subtraction },
    author = {Bakhirkin, Alexey and Berdine, Josh and Piterman, Nir},
    year = {2014},
    booktitle = {Static Analysis Symposium (SAS)},
    pages = {34--50},
    team = {PACSS},
}

URL

Publication Sections


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

info visites 844274