On the formal analysis of Gaussian optical systems in HOL

Publication
Formal Aspects of Computing