Sohaib Ahmad, Osman Hasan, Umair Siddique. Towards Formal Reasoning about Molecular Pathways in HOL. In Sumitra Reddy, editor, 2014 IEEE 23rd International WETICE Conference, WETICE 2014, Parma, Italy, 23-25 June, 2014. pages 378-383, IEEE, 2014. [doi]
Abstract is missing.