Barbara Petit
发表
Barbara Petit,
2011
.
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,
Barbara Petit,
2012,
Sci. Comput. Program..