Pedro R. G. Antonino
发表
A. W. Roscoe,
Thomas Gibson-Robinson,
Pedro R. G. Antonino,
2017,
TACAS.
Augusto Sampaio,
Jim Woodcock,
Pedro R. G. Antonino,
2014,
FM.
A. W. Roscoe,
Thomas Gibson-Robinson,
Pedro R. G. Antonino,
2016,
FM.
Augusto Sampaio,
Pedro R. G. Antonino,
José Dihego,
2013,
ICFEM.
Augusto Sampaio,
Marcel Vinícius Medeiros Oliveira,
Jeremy Bryans,
2014,
NASA Formal Methods.