Home Presentation Members Meetings Publications Deliverables
ANR project FREDDA
FoRmal mEthods for the Design of Distributed Algorithms
List of publications
To be updated