Certificate Translation for the Verification of Concurrent Programs | Publicación