Skip to main content

A Theory for the Derivation of Combinational C−MOS Circuit Designs

C. A. R. Hoare

Journal
Theor. Comput. Sci.
Number
1
Pages
235−251
Volume
90
Year
1991