A theory for the derivation of combinational C-mos circuit designs

Authors:
C. A. R. Hoare
Affiliations:
-
Venue:
Theoretical Computer Science - Images of programming dedicated to the memory of Andrei P. Ershov
Year:
1991

Citing 0
Cited 3

Reasoning About Analog-Level Implementationsof Digital Systems

Formal Methods in System Design
Reasoning about Imperfect Digital Systems

Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
UTP and sustainability

UTP'10 Proceedings of the Third international conference on Unifying theories of programming

Quantified Score

Hi-index	0.00

Visualization

Abstract