Umair Siddique
Umair Siddique
Home
Activities
Publications
SafetyOps
Contact
On the formal analysis of geometrical optics in HOL
Umair Siddique
,
Vincent Aravantinos
,
SofiƩne Tahar
January 2012
PDF
Cite
Type
Conference paper
Publication
International Workshop on Automated Deduction in Geometry
Cite
×