H. Busch

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.

Transformational design in a theorem prover

H. Busch (1992) · Theorem Provers in Circuit Design · North-Holland

Proof-based transformation of formal hardware models

H. Busch (1991) · Springer London