Identifying Undetectable Defects Using Equivalence Checking.

Lars Hedrich, Inga Abel, Jaafar Mejri, Vladimir A. Zivkovic

Browse the full ITC paper archive.