Ramayya Kumar, Thomas Kropf

Theorem Provers in Circuit Design: Theory, Practice and Experience - 1995 - Springer Berlin Heidelberg 1995 - Lecture Notes in Computer Science .

9783540491774


Computer Science