Formalization of Zsyntax to Reason About Molecular Pathways in HOL4

Publication
Brazilian Symposium on Formal Methods