Program analysis using weighted pushdown systems (2007)

by T Reps, A Lal, N Kidd
Venue:In FSTTCS