Verification by Construction of Distributed Algorithms.

Dominique Mry

Browse the full ICTAC paper archive.