On the Formalization of Cardinal Points of Optical Systems

Publication
Workshop on Formal Methods Integration