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