Proof Obligations of the B Formal Method: Local Proofs Ensure Global Consistency.

Mireille Ducass, Laurence Roz

Browse the full LOPSTR paper archive.