Andrew C. Segal, John Quintas, Robert Kero, Richard Greene, Gregory H. Chisholm. Formal system specification and testing of image processing/computer vision algorithms. In Ricardo J. Motta, Hapet A. Berberian, editors, Device-Independent Color Imaging and Imaging Systems Integration, San Jose, CA, USA, January 31, 1993. Volume 1909 of SPIE Proceedings, pages 256-261, SPIE, 1993. [doi]
Abstract is missing.