Umair Siddique
Umair Siddique
Home
Activities
Publications
SafetyOps
Contact
Formalization of Zsyntax to Reason About Molecular Pathways in HOL4
Sohaib Ahmad
,
Osman Hasan
,
Umair Siddique
,
SofiƩne Tahar
January 2014
PDF
Cite
Type
Conference paper
Publication
Brazilian Symposium on Formal Methods
Cite
×