Formalising Java’s Data Race Free Guarantee (2007)

by D Aspinall, J Sevćık
Venue:20th International Conference on Theorem Proving in Higher Order Logics (TPHOLs