Bilateral Algorithms for Symbolic Abstraction

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-642-33125-1_10 ◽

2012 ◽

pp. 111-128 ◽

Author(s):

Aditya Thakur ◽

Matt Elder ◽

Thomas Reps

Download Full-text