Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB | Digital Library | PAMCET

Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB | Digital Library | PAMCET | PAMCET