Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, Muralidhar Talupur
Browse the full TACAS paper archive.