Verifying single and multi-mutator garbage collectors with Owicki/Gries in Isabelle/HOL (2000)

by L Prensa Nieto, J Esparza
Venue:Mathematical Foundations of Computer Science (MFCS 2000), volume 1893 of LNCS