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).