Sciweavers

Share
ASPDAC
2011
ACM

Managing complexity in design debugging with sequential abstraction and refinement

9 years 6 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)
books