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

Abstract
(No abstract.)

---

Citation Formats

• APA
  

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

• MLA
  

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

• Chicago
  

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

• 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 = {}}