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

Cached

Download Links

by Akash Lal , Tayssir Touili , Nicholas Kidd , Thomas Reps
Venue:In TACAS
Citations:29 - 7 self