Benoît Sigoure
发表
Akim Demaille,
Renaud Durlin,
Nicolas Pierron,
2009,
Electron. Notes Theor. Comput. Sci..
Akim Demaille,
Sylvain Peyronnet,
Benoît Sigoure,
2006,
Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).
Akim Demaille,
Roland Levillain,
Benoît Sigoure,
2009,
SAC '09.