W.: A precise yet efficient memory model for C (2009)

by E Cohen, M Moskal, S Tobies, Schulte
Venue:In: SSV’09. ENTCS