Denis Cousineau
发表
Denis Cousineau,
D. Cousineau,
2009
.
Denis Cousineau,
Robert R. Haccoun,
2009
.
Denis Cousineau,
Olivier Hermant,
D. Cousineau,
2012,
RTA.
Denis Cousineau,
2013
.
Denis Cousineau,
2009
.
Denis Cousineau,
Guillaume Burel,
Gilles Dowek,
2009
.
Denis Cousineau,
Bradley Harding,
2014
.
Denis Cousineau,
Julien T. Groulx,
2017
.
Stephan Merz,
Leslie Lamport,
Denis Cousineau,
2012,
FM.
Denis Cousineau,
Bradley Harding,
Vincent LeBlanc,
2017
.
Denis Cousineau,
Gilles Dowek,
Gilles Dowek,
2007,
TLCA.
Denis Cousineau,
D. Cousineau,
2012
.
Denis Cousineau,
Bradley Harding,
2016
.
Denis Cousineau,
Bradley Harding,
2015
.
Denis Cousineau,
Nxt Brick,
2013
.
Denis Cousineau,
D. Cousineau,
2012,
Log. Methods Comput. Sci..