Sanaz Khan-Afshar

Latest

• Formalizing physics: automation, presentation and foundation issues
• Formal analysis of optical systems