An Automated Reasoning Problem Associated with Proving Claims about Programs Using Floyd-Hoare Inductive Assertin Methods. - Gregory H. Chisholm; Brian T. Smith; Anthony S. Wojcik (J. Autom. Reason., 1989)

Formal system specification and testing of image processing/computer vision algorithms. - Andrew C. Segal; John Quintas; Robert Kero; Richard Greene; Gregory H. Chisholm (Device-Independent Color Imaging and Imaging Systems Integration, 1993)

Identifying High-Level Components in Combinational Circuits. - Travis E. Doom; Jennifer L. White; Anthony S. Wojcik; Gregory H. Chisholm (Great Lakes Symposium on VLSI, 1998)

Understanding Integrated Circuits. - Gregory H. Chisholm; Steven T. Eckmann; Christopher M. Lain; Robert Veroff (IEEE Des. Test Comput., 1999)

An Application of Formal Analysis to Software in a Fault-Tolerant Environment. - Gregory H. Chisholm; Anthony S. Wojcik (IEEE Trans. Computers, 1999)