Barbara Petit
发表
Barbara Petit,
2011
.
Barbara Petit,
2012,
ArXiv.
Barbara Petit,
2009,
TLCA.
Alejandro Díaz-Caro,
Barbara Petit,
2012,
WoLLIC.
Alejandro Díaz-Caro,
Barbara Petit,
Barbara Petit,
2010,
ArXiv.
Barbara Petit,
Barbara Petit,
2010,
Log. Methods Comput. Sci..
Ugo Dal Lago,
Barbara Petit,
Barbara Petit,
2012,
POPL.
Ugo Dal Lago,
Barbara Petit,
2014,
Sci. Comput. Program..
Ugo Dal Lago,
Barbara Petit,
2012,
ArXiv.
Ugo Dal Lago,
Barbara Petit,
Barbara Petit,
2012,
Sci. Comput. Program..