DMCA

Static analysis by policy iteration on relational domains (2007)

by Stephane Gaubert , Eric Goubault , Ankur Taly , Sarah Zennou
Venue:IN: ESOP’07. LNCS
Citations:30 - 6 self