Contracts for System Design in Electronic Design Automation

Albert Benveniste , Benoit Caillaud , Dejan Nickovic