IF300 Conception de logiciels - méthode B

• Site officiel d'Event-B
• Manuel utilisateur de Rodin