Export

BIB

All authors

Damm, Werner and Reinkemeier, Philipp and Benveniste, Albert and Caillaud, Benoit and Nickovicy, Dejan and Passerone, Roberto and Raclet, Jean-Baptiste and Sangiovanni-Vincentelli, Alberto and Henzinger, Tom and Larsen, Kim

Journal

IEEE Computer

Abstract

Contracts, rich components

Publishing date

12 / 2012

Type of Publication

article

Edition

December 2012