A Proof Environment for the Development of Group Communication Systems.

Christoph Kreitz, Mark Hayden, Jason Hickey

Browse the full CADE paper archive.