C.: On Interference Abstractions (0)

by N Sinha, Wang
Venue:In: POPL (2011