Samuel D. Oman

• An application of FORMAC to the computation of coverage functions