Barbara Petit

发表

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..