A Precise Yet Efficient Memory Model For C (0)

by E Cohen, M Moskal, S Tobies, W Schulte
Venue:ENTCS