Formalization of Zsyntax to Reason About Molecular Pathways in HOL4

Sohaib Ahmad, Osman Hasan, Umair Siddique, Sofiéne Tahar
January 2014
PDF
Type
Conference paper
Publication
Brazilian Symposium on Formal Methods