Sciweavers

ASPDAC
2011
ACM

Managing complexity in design debugging with sequential abstraction and refinement

13 years 3 months ago
Managing complexity in design debugging with sequential abstraction and refinement
al Abstraction and Refinement Brian Keng and Andreas Veneris University of Toronto ASPASP--DAC 2011DAC 2011
Brian Keng, Andreas G. Veneris
Added 24 Aug 2011
Updated 24 Aug 2011
Type Journal
Year 2011
Where ASPDAC
Authors Brian Keng, Andreas G. Veneris
Comments (0)