About this scholarly article

7th International Symposium on Quality Electronic Design (ISQED'06) - Equivalence Checking of C Programs by Locally Performing Symbolic Simulation on Dependence Graphs by Matsumoto, T.; Saito, H.; Fujita, M. is a scholarly article available to read on EtoBox.

Author

Matsumoto, T.; Saito, H.; Fujita, M.

Publisher

IEEE

Published

2006

Language

EN