O. Ligot

	2008
1		Jens Bendisposto, Michael Leuschel, O. Ligot, Mireille Samia: La validation de modèles Event-B avec le plug-in ProB pour RODIN. Technique et Science Informatiques 27(8): 1065-1084 (2008)

Coauthor Index

1	Jens Bendisposto	[1]
2	Michael Leuschel	[1]
3	Mireille Samia	[1]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page