On the Formalization of Cardinal Points of Optical Systems

Publication
Formal Methods Integration