Jules Villard
发表
Aquinas Hobor,
Jules Villard,
Aquinas Hobor,
2013,
POPL.
James Brotherston,
Jules Villard,
J. Brotherston,
2014,
POPL.
Philippa Gardner,
Azalea Raad,
Jules Villard,
2015,
ESOP.
Jules Villard,
Jules Villard,
2011
.
James Brotherston,
Jules Villard,
J. Brotherston,
2015,
CSL.
Ralf Treinen,
Florent Jacquemard,
Étienne Lozes,
2011,
TOSCA.
Étienne Lozes,
Jules Villard,
Jules Villard,
2008,
Distributed Computing.
Quang Loc Le,
Derek Dreyer,
P. O'Hearn,
2022,
Proc. ACM Program. Lang..
Derek Dreyer,
Hoang-Hai Dang,
Azalea Raad,
2020,
CAV.