@string{springer="© Springer-Verlag"}
@string{lncs="<A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>"}
@InProceedings{BBP14,
  author = {A. Bakhirkin and J. Berdine and N. Piterman},
  title =        {Backward Analysis via Over-Approximate Abstraction
                  and Under-Approximate Subtraction},
  booktitle = {21st International Static Analysis Symposium},
  pages = {34--50},
  year = {2014},
  volume = {8723},
  address = {Munich, Germany},
  publisher = springer,
  series = lncs,
  keywords = {Model Checking, Static Analysis},
  OPTpdf = {},
}