Certifying Properties of Programs Using Theorem provers | Publicación