Damián Barsotti
发表
Damián Barsotti,
Nicolás Wolovick,
2010,
QAPL.
Damián Barsotti,
Andrés M. Bordese,
Tomás Hayes,
2018,
CLEI Selected Papers.
Damián Barsotti,
Leonor Prensa Nieto,
Alwen Tiu,
2006,
Electron. Notes Theor. Comput. Sci..
Damián Barsotti,
2011
.
Damián Barsotti,
Javier O. Blanco,
2007
.
Damián Barsotti,
Martín Ariel Domínguez,
2019,
SIMBig.
Damián Barsotti,
Pablo Ariel Duboué,
Martín Ariel Domínguez,
2017,
SIMBig.
Damián Barsotti,
Leonor Prensa Nieto,
Alwen Tiu,
2007,
Formal Aspects of Computing.
Damián Barsotti,
Pablo Ariel Duboué,
Martín Ariel Domínguez,
2017,
SIMBig.
Damián Barsotti,
2006,
Arch. Formal Proofs.
Damián Barsotti,
Javier O. Blanco,
2007,
ICTAC.
Dominique Cansell,
Dominique Méry,
Stephan Merz,
2005
.