@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},
}
