DMCA

Towards automatic proofs of lock-free algorithms

by Loïc Fejoz , Stephan Merz
Citations:1 - 0 self