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]