"464","Mathematical Language of Event-B Proofs","This model proves correct the optimisation implemented in Rodin 3.0 for storing the mathematical language in which proofs are written.    See http://wiki.event-b.org/index.php/Language_of_an_Event-B_Component for more details on the context of this model.","http://deploy-eprints.ecs.soton.ac.uk/464/","Voisin, Laurent","UNSPECIFIED","       <span class=\"person_name\">Voisin, Laurent</span>     (2013)  <a href=\"http://deploy-eprints.ecs.soton.ac.uk/464/\"><em>Mathematical Language of Event-B Proofs.</em></a>       [Rodin Archive]           ","laurent.voisin@systerel.fr","2013-11-20"