Computing at the Crossroads (And What Does it Mean to Verification and Test?).

Jan M. Rabaey

Browse the full ITC paper archive.