On the formal analysis of Gaussian optical systems in HOL

Umair Siddique, Sofiéne Tahar
January 2016
PDF
Type
Journal article
Publication
Formal Aspects of Computing