Towards Formal Reasoning about Molecular Pathways in HOL

Publication
IEEE 23rd International WETICE Conference