Verification Tools for Transactional Programs | Publicación