Contracts for System DesignAlbert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet · First published 2018Open the Tome
