Accueil > FR > Actualités > Publications > Towards Event-B Metrics Support in RODIN


Towards Event-B Metrics Support in RODIN

Christophe Ponsard, Arnaud Michot, Renaud De Landtsheer, "Towards Event-B Metrics Support in RODIN", in proc. DEPLOY Technical Workshop (University of Newcastle Technical Report), Decembre 2009.