O. Ligot

Publication Activity (10 Years)

Years Active: 2008-2008
Publications (10 Years): 0

Publications

Jens Bendisposto, Michael Leuschel, O. Ligot, Mireille Samia
La validation de modèles Event-B avec le plug-in ProB pour RODIN. Tech. Sci. Informatiques 27 (8) (2008)