Contracts for System Design

By Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto L. Sangiovanni-Vincentelli, Werner Damm, Thomas A. Henzinger, Kim Guldstrand Larsen. Foundations and Trends® in Electronic Design Automation, 2018

298 citations recorded by the source corpus.

Subfields: Economics and Econometrics, Management Science and Operations Research

View Paper: https://www.semanticscholar.org/paper/3de6d47f74cc3be0253d57c461d8ab7a7f99d0f5