Formal Certification of a Resource-Aware Language Implementation | Publicación