Automatic safety proofs for asynchronous memory operations

In  PPOPP

Details

TypeInproceedings
Pages313-314
> Publications > Automatic safety proofs for asynchronous memory operations