Edmund Clarke papers
22 boxes of materials from Edmund Clarke, an Emeritus University Professor in the Computer Science Department.
Acquisition information is unavailable. This accession record was created an unknown number of years after the materials were acquired.
22 Linear feet (22 boxes)