Formalising Java’s Data Race Free Guarantee (2007)

by D Aspinall, J ˇSevčík
Venue:In Proc. of TPHOLs