D. Shepherd

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1991

1 D. Shepherd: Using HOL to produce custom verification tools. TPHOLs 1991: 162-169