Victor B. F. Gomes

发表

Martin Uecker, Peter Sewell, Kayvan Memarian, 2019 .
Robert N. M. Watson, Brooks Davis, Stephen Kell, 2019, Proc. ACM Program. Lang..
Alastair R. Beresford, Victor B. F. Gomes, Martin Kleppmann, 2018 .
Georg Struth, Brijesh Dongol, Ian J. Hayes, 2017, Arch. Formal Proofs.
Georg Struth, Victor B. F. Gomes, G. Struth, 1938, Arch. Formal Proofs.
Alastair R. Beresford, Victor B. F. Gomes, Martin Kleppmann, 2017, Arch. Formal Proofs.
Georg Struth, Victor B. F. Gomes, G. Struth, 2016, FM.
Georg Struth, Brijesh Dongol, Victor B. F. Gomes, 2014, ArXiv.
Alastair R. Beresford, Victor B. F. Gomes, Martin Kleppmann, 2017, Proc. ACM Program. Lang..
Georg Struth, Victor B. F. Gomes, Alasdair Armstrong, 2014, Arch. Formal Proofs.
Alastair R. Beresford, Victor B. F. Gomes, Martin Kleppmann, 2018, Arch. Formal Proofs.
Victor B. F. Gomes, Dominic P. Mulligan, Cristina Matache, 2017, APLAS.
Georg Struth, Victor B. F. Gomes, 2016, Arch. Formal Proofs.
Georg Struth, Victor B. F. Gomes, Walter Guttmann, 2016, Arch. Formal Proofs.
Georg Struth, Victor B. F. Gomes, Alasdair Armstrong, 2014, RAMiCS.
Georg Struth, Victor B. F. Gomes, Alasdair Armstrong, 2015, Formal Aspects of Computing.
Victor B. F. Gomes, Dominic P. Mulligan, Cristina Matache, 2017, Arch. Formal Proofs.
Alastair R. Beresford, Victor B. F. Gomes, Martin Kleppmann, 2019, PaPoC@EuroSys.
Georg Struth, Brijesh Dongol, Victor B. F. Gomes, 2015, MPC.
Georg Struth, Victor B. F. Gomes, Alasdair Armstrong, 2013, FM.
Alastair R. Beresford, Victor B. F. Gomes, Martin Kleppmann, 2018, ArXiv.
Georg Struth, Victor B. F. Gomes, Alasdair Armstrong, 2014, SEFM.
Alastair R. Beresford, Victor B. F. Gomes, Martin Kleppmann, 2021, IEEE Transactions on Parallel and Distributed Systems.
Victor B. F. Gomes, Victor Borges Ferreira Gomes, 2015 .
Victor B. F. Gomes, G. Struth, A. Armstrong, 2016, Formal Aspects of Computing.
Luigi Carro, Antonio Carlos Schneider Beck, Victor B. F. Gomes, 2006, 2006 IFIP International Conference on Very Large Scale Integration.