Program analysis with interpolants (Oxford University, UK, 2010)

(untitled) - Weissenbacher, G; Georg Weissenbacher