Formal Verification of Molecular Computational Models in ACL2: A Case Study | Publicación