The Incremental Development of Correct Specifications for Distributed Systems.

Stephan Kleuker, Hermann Tjabben

Browse the full FM paper archive.