D. Verkest
2 references 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.
A proof of the nonrestoring division algorithm and its implementation on an ALU
D. Verkest and others (1994) · Formal Methods in System Design · Springer Science and Business Media LLC
On the comparison of HOL and Boyer-Moore for formal hardware verification
C. M. Angelo and others (1993) · Formal Methods in System Design · Springer Science and Business Media LLC