Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Automatic safety proofs for asynchronous memory operations

Matko Botincan, Mike Dodds, Alastair F. Donaldson, and Matthew J. Parkinson

Details

Publication typeInproceedings
Published inPPOPP
Pages313-314
> Publications > Automatic safety proofs for asynchronous memory operations