1
Published 2010
Table of Contents: ... Supercompiler and Its Application to Verification of Cache-Coherence Protocols -- Proving the Equivalence...
View full text
Electronic eBook