@techreportbenveniste:hal-01178467, 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 Systems Design: Theory}, Year = {2015}, Pages = {86}, Url = {https://hal.inria.fr/hal-01178467}, type = {techreport} @COMMENTBibtex file generated on