D. Duchier (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1 D. Duchier, Drew V. McDermott: LOGICALC: An Environment for Interactive Proof Development. CADE 1988: 121-130

Selection of 1 from 1 records - D. Duchier has 1 coauthors