P. Antonino
发表
A. W. Roscoe,
A. Sampaio,
P. Antonino,
2022,
SEFM.
J. Woodcock,
A. Sampaio,
P. Antonino,
2022,
ArXiv.
A. W. Roscoe,
Thomas Gibson-Robinson,
Pedro Antonino,
2019,
ACM Trans. Softw. Eng. Methodol..
A. W. Roscoe,
Thomas Gibson-Robinson,
P. Antonino,
2022,
International Journal on Software Tools for Technology Transfer.
A. W. Roscoe,
Thomas Gibson-Robinson,
P. Antonino,
2019,
Formal Aspects of Computing.
A. W. Roscoe,
Thomas Gibson-Robinson,
Pedro Antonino,
2017,
SBMF.
A. W. Roscoe,
Thomas Gibson-Robinson,
Pedro R. G. Antonino,
2017,
TACAS.
A. W. Roscoe,
Thomas Gibson-Robinson,
Pedro R. G. Antonino,
2016,
FM.
Augusto Sampaio,
A. W. Roscoe,
Marcel Vinícius Medeiros Oliveira,
2016,
Formal Aspects of Computing.
A. W. Roscoe,
Thomas Gibson-Robinson,
Pedro Antonino,
2016,
IFM.
Augusto Sampaio,
Jim Woodcock,
Pedro R. G. Antonino,
2014,
FM.
Augusto Sampaio,
Marcel Vinícius Medeiros Oliveira,
Jeremy Bryans,
2014,
NASA Formal Methods.
A. W. Roscoe,
Pedro Antonino,
P. Antonino,
2021,
SAC.
A. W. Roscoe,
Pedro Antonino,
P. Antonino,
2020,
ArXiv.
A. W. Roscoe,
P. Antonino,
Wojciech Aleksander Wołoszyn,
2021,
Proceedings of the 2021 on Cloud Computing Security Workshop.
A. W. Roscoe,
Pedro Antonino,
Chao Liu,
2021,
ArXiv.
A. W. Roscoe,
P. Antonino,
2022
.
Augusto Sampaio,
Pedro R. G. Antonino,
José Dihego,
2013,
ICFEM.
P. Antonino,
Flávia Falcão,
Lucas Lima,
2023,
Software and Systems Modeling.
A. Sampaio,
P. Antonino,
Bruno Oliveira,
2023,
Anais do I Colóquio em Blockchain e Web Descentralizada (CBlockchain 2023).