Towards automatic proofs of lock-free algorithms, in "Exploiting Concurrency Efficiently and (0)

by L FEJOZ, S MERZ
Venue:Correctly, États-Unis d’Amérique Princeton", 2008, http://hal.inria.fr/inria-00285752/en/. Workshops without Proceedings