Marcel Oliveira
发表
Jim Woodcock,
Ana Cavalcanti,
Marcel Oliveira,
2005,
Innovations in Systems and Software Engineering.
Ana Cavalcanti,
Frank Zeyda,
Marcel Oliveira,
2011,
Sci. Comput. Program..
Jim Woodcock,
Ana Cavalcanti,
Marcel Oliveira,
2009,
Formal Aspects of Computing.
Ana Cavalcanti,
Marcel Oliveira,
Manuela Xavier,
2004,
Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..
Jim Woodcock,
Ana Cavalcanti,
Marcel Oliveira,
2003,
Formal Aspects of Computing.
Jim Woodcock,
Marcel Oliveira,
J. Woodcock,
2007,
ICFEM.
Ana Cavalcanti,
Marcel Oliveira,
M. Oliveira,
2004,
ICFEM.
Jim Woodcock,
Ana Cavalcanti,
Marcel Oliveira,
2006,
UTP.
Jim Woodcock,
Ana Cavalcanti,
Marcel Oliveira,
2007,
Refine@ICFEM.
Jim Woodcock,
Ana Cavalcanti,
Marcel Oliveira,
2006,
Formal Aspects of Computing.
Ana Cavalcanti,
Frank Zeyda,
Marcel Oliveira,
2011,
Formal Aspects of Computing.
Ana Cavalcanti,
Marcel Oliveira,
2008,
Electron. Notes Theor. Comput. Sci..
Ana Cavalcanti,
Frank Zeyda,
Marcel Oliveira,
2009,
Electron. Notes Theor. Comput. Sci..
Marcel Oliveira,
S. L. M. Barrocas,
M. Oliveira,
2012,
CPA.
Flávio Oquendo,
Everton Cavalcante,
Thaís Vasconcelos Batista,
2020,
ECSA.