bibtex

@inproceedings{'BBP5',
    title = { A Forward Analysis for Recurrent Sets },
    author = {Bakhirkin, Alexey and Berdine, Josh and Piterman, Nir},
    year = {2015},
    booktitle = {Static Analysis Symposium (SAS)},
    pages = {293--311},
    team = {PACSS},
}

URL


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

info visites 4181605