On the formal analysis of Gaussian optical systems in HOL
Crossref DOI link: https://doi.org/10.1007/s00165-016-0367-1
Published Print: 2016-09
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Siddique, Umair
Tahar, Sofiène
Text and Data Mining valid from 2016-09-01
