Checking Equivalence for Partial Implementations

Christoph Scholl, Bernd Becker. Checking Equivalence for Partial Implementations. In Proceedings of the 38th Design Automation Conference, DAC 2001, Las Vegas, NV, USA, June 18-22, 2001. pages 238-243, ACM, 2001. [doi]

Abstract

Abstract is missing.