A Proof Environment for Concurrent Programs.

Naima Brown, Dominique Mry

Browse the full FM paper archive.