Theorem proving in higher order logics by Correct hardware design and verification methods (Advanced research working conference), Livingston) 0 Type: Book
Theoretical foundations of VLSI design by Tucker, J. V., McEvoy, K. fromCambridge tracts in theoretical computer science 0 Type: Book
