Contracts for Systems Design

Author(s): Albert Benveniste, Benoît Caillaud, DejanNickovic, Roberto Passerone, Jean-BaptisteRaclet, Philipp Reinkemeier, AlbertoSangiovanni-Vincentelli, Werner Damm, TomHenzinger, Kim Larsen

Citation
Albert Benveniste, Benoît Caillaud, DejanNickovic, Roberto Passerone, Jean-BaptisteRaclet, Philipp Reinkemeier, AlbertoSangiovanni-Vincentelli, Werner Damm, TomHenzinger, Kim Larsen. "Contracts for Systems Design". Proceedings of IEEE, 2013.

Abstract
(No abstract.)

---

Citation Formats

• HTML
  

                  
  Albert Benveniste, Benoît  Caillaud, DejanNickovic, Roberto Passerone, Jean-BaptisteRaclet, Philipp Reinkemeier, AlbertoSangiovanni-Vincentelli, Werner Damm, TomHenzinger, Kim Larsen.
  "<a href="https://www.icyphy.org/publications/2013_BenvenisteEtAl/">Contracts for Systems Design</a>".
  <i>Proceedings of IEEE</i>, 2013.
                  
                  

• Plain Text
  

                  
  Albert Benveniste, Benoît  Caillaud, DejanNickovic, Roberto Passerone, Jean-BaptisteRaclet, Philipp Reinkemeier, AlbertoSangiovanni-Vincentelli, Werner Damm, TomHenzinger, Kim Larsen.
  "Contracts for Systems Design".
  Proceedings of IEEE, 2013.
                  
                  

• BibTeX
  

                      
  @article{BenvenisteCaillaudNickovicPasseroneRacletReinkemeier13_ContractsForSystemsDesign,
  	author = {Albert Benveniste, Benoît  Caillaud, DejanNickovic, Roberto Passerone, Jean-BaptisteRaclet, Philipp Reinkemeier, AlbertoSangiovanni-Vincentelli, Werner Damm, TomHenzinger, Kim Larsen},
  	title = {Contracts for Systems Design},
  	journal = {Proceedings of IEEE},
  	year = {2013},
  	abstract = {(No abstract.)},
  	URL = {https://www.icyphy.org/publications/2013_BenvenisteEtAl/}
  }