J. B. Guignet

Functional abstraction and formal proof of digital circuits

M. Currat, P. Deverchere, J. C. Madre, 1992, [1992] Proceedings The European Conference on Design Automation.