1 paper
Albert Benveniste, Benoit Caillaud, Roberto Passerone
We present the mathematical foundations of the contract-based model developed in the framework of the SPEEDS project. SPEEDS aims at developing methods and tools to support "specul…