Embedding the Stable Failures Model of CSP in PVS.

Kun Wei, James Heather

Browse the full IFM paper archive.