@inproceedings{92176,
  author = {Georg Weissenbacher and Daniel Kroening and Sharad Malik},
  title = {WOLVERINE: Battling bugs with interpolants},
  year = {2012},
  journal = {International Conference on Tools and Algorithms for the Construction and Analysis of Systems},
  pages = {556{\textendash}558},
  publisher = {Springer Berlin Heidelberg},
  language = {eng},
}