Formal analysis of optical systems

Publication
Mathematics in Computer Science