DMCA

Checking Equivalence for Partial Implementations (2000)

by Christoph Scholl , Christoph Scholl , Bernd Becker , Bernd Becker
Venue:In Design Automation Conf
Citations:35 - 14 self