Reps. Interprocedural analysis of concurrent programs under a context bound (0)

by A Lal, T Touili, N Kidd, T W
Venue:In Ramakrishnan and Rehof [22