List of Rodin archives

Dominique Méry
LORIA & Telecom Nancy
Université de Lorraine
dominique.mery@loria.fr

• The simple example: link for Event-B model cont-simple.zip
• The maximum of two integers: link for Event-B model cont-max2.zip
• The maximum of a list of integers: link for Event-B model cont-maximumzip