title: Doing Mathematics with the Rodin Platform
creator: Abrial, Jean-Raymond
subject: Proof and model checking
subject: Event-B Examples
description: Proof of Well-ordering theorem in Rodin
type: Rodin Archive
type: NonPeerReviewed
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/138/1/sld_zrm.pdf
format: application/zip
identifier: http://deploy-eprints.ecs.soton.ac.uk/138/2/Zer_ess.zip
identifier:   Abrial, Jean-Raymond   Doing Mathematics with the Rodin Platform.  [Rodin Archive]     
relation: http://deploy-eprints.ecs.soton.ac.uk/138/