Albert Benveniste, BenoƮt Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto L. Sangiovanni-Vincentelli, Werner Damm, Thomas A. Henzinger, Kim G. Larsen. Contracts for System Design. Foundations and Trends in Electronic Design Automation, 12(2-3):124-400, 2018. [doi]
Abstract is missing.