Towards Formal Reasoning about Molecular Pathways in HOL.

Sohaib Ahmad, Osman Hasan, Umair Siddique

Browse the full WETICE paper archive.