TY  - GEN
ID  - deploy464
UR  - http://deploy-eprints.ecs.soton.ac.uk/464/
A1  - Voisin, Laurent
TI  - Mathematical Language of Event-B Proofs
Y1  - 2013/11/20/
N2  - 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.
AV  - public
ER  -

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>