Skip to content

Abstraction and refinement techniques in automated design debugging.

Sean Safarpour, Andreas G. Veneris

VenueADATE
Year2007
ProceedingsDATE

Browse the full DATE paper archive.