Reasoning about Real Circuits

Keith Hanna. Reasoning about Real Circuits. In Thomas F. Melham, Juanito Camilleri, editors, Higher Order Logic Theorem Proving and Its Applications, 7th International Workshop, Valletta, Malta, September 19-22, 1994, Proceedings. Volume 859 of Lecture Notes in Computer Science, pages 235-253, Springer, 1994.

Abstract

Abstract is missing.