From Z to B and then Event-B: Assigning Proofs to Meaningful Programs.

Jean-Raymond Abrial

Browse the full IFM paper archive.