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