Pipit on the Post: Proving Pre- and Post-Conditions of Reactive Systems.

Amos Robinson, Alex Potanin

Browse the full ECOOP paper archive.