Download
https://www.cwblogs.com/posts/Handling-Proofs-in-Event-B/
Proof-Based Verification in Event-B - Chang Wan
Share