Samuel Devulder
发表
Hélène Collavizza,
Michel Rueher,
Nguyen Le Vinh,
2010
.
Jean-Luc Lambert,
Samuel Devulder,
S. Dellacherie,
1999,
World Congress on Formal Methods.
Jean-Luc Lambert,
Samuel Devulder,
J. Lambert,
1999,
14th IEEE International Conference on Automated Software Engineering.
Hélène Collavizza,
Michel Rueher,
Nguyen Le Vinh,
2011,
SAC '11.
Hélène Collavizza,
Michel Rueher,
Nguyen Le Vinh,
2010
.
Jean-Luc Lambert,
Samuel Devulder,
Samuel Dellacherie,
1998
.