D.P. Appenzeller
1 reference under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Formal verification of a PowerPC microprocessor
D.P. Appenzeller and others (1995) · IEEE Comput. Soc. Press