Sciweavers

68
Voted
POPL
2010
ACM
15 years 6 months ago
Program Analysis via Satisfiability Modulo Path Programs
William R. Harris, Sriram Sankaranarayanan, Franjo...