WOLVERINE: Battling bugs with interpolants
Publication Year
2012
Type
Conference Paper
Conference Name
International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Publisher
Springer Berlin Heidelberg