Boris Yakobowski
发表
Yannick Moy,
Nikolai Kosmatov,
Julien Signoles,
2012
.
Boris Yakobowski,
Didier Rémy,
2008,
ICFP 2008.
Jérôme Vouillon,
Boris Yakobowski,
Vincent Balat,
2009,
ICFP.
Nikolai Kosmatov,
Bruno Marre,
Pascal Cuoq,
2013,
Automated Software Engineering.
Arthur Charguéraud,
Didier Rémy,
Yann Régis-Gianas,
2005
.
Sandrine Blazy,
Boris Yakobowski,
David Bühler,
2017,
VMCAI.
Pascal Cuoq,
Florent Kirchner,
Boris Yakobowski,
2012,
COMPARE.
Boris Yakobowski,
2008
.
Didier Rémy,
Boris Yakobowski,
2012,
Theor. Comput. Sci..
Didier Rémy,
Boris Yakobowski,
2010,
FLOPS.
François Bobot,
Mihaela Sighireanu,
Boris Yakobowski,
2018,
VMCAI.
Xuejun Yang,
John Regehr,
Virgile Prevosto,
2012,
NASA Formal Methods.
Joe B. Wells,
Boris Yakobowski,
2004,
LOPSTR.
Damien Doligez,
Didier Rémy,
Zaynah Dargaye,
2006
.
Nikolai Kosmatov,
Julien Signoles,
Virgile Prevosto,
2012,
SEFM.
Nikolai Kosmatov,
Julien Signoles,
Virgile Prevosto,
2015,
Formal Aspects of Computing.
Didier Rémy,
Boris Yakobowski,
2008,
ICFP.
Sandrine Blazy,
Boris Yakobowski,
David Bühler,
2016,
Sci. Comput. Program..
Sandrine Blazy,
Boris Yakobowski,
David Bühler,
2014,
FMICS.
Didier Rémy,
Boris Yakobowski,
2007,
TLDI '07.