Interprocedural analysis of concurrent programs under a context bound (2008)

by A Lal, T Touili, N Kidd, T Reps
Venue:In TACAS