@article{Ben2018,
Author = {Benveniste, Albert and Caillaud, Benoît and Nickovic, Dejan and Passerone, Roberto and Raclet, Jean-Baptiste and Reinkemeier, Philipp and Sangiovanni-Vincentelli, Alberto and Damm, Werner and Henzinger, Tom and Larsen, Kim},
Title = {Contracts for System Design},

Journal = {Foundations and Trends in Electronic Design Automation},
Year = {2018},
Pages = {124-400},
Doi = {10.1561/1000000053},
Url = {http://dx.doi.org/10.1561/1000000053},
type = {article}
}
@COMMENT{Bibtex file generated on }