Wendell E. Cory

An introduction to the DDL-P language

Willem M. vanCleemput, J. R. Duley, Wendell E. Cory, 1979 .

DDL-P command language manual

Willem M. vanCleemput, J. R. Duley, Wendell E. Cory, 1979 .

Symbolic Simulation for Functional Verification with ADLIB and SDL

Wendell E. Cory, 1981, 18th Design Automation Conference.

Development in Verification of Design Correctness

William M. van Cleemput, Wendell E. Cory, 1980, 17th Design Automation Conference.