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:27 - 6 self