30 citations · 30 across the 1 of their papers we have counts for
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…