Mechanized verification of fine-grained concurrent programs | Publicación