From Event-B Specifications to Programs for Distributed Algorithms.

Mohamed Tounsi, Mohamed Mosbah, Dominique Mry

Browse the full WETICE paper archive.