Herbert Rocha
发表
Lucas C. Cordeiro,
Raimundo S. Barreto,
Herbert Rocha,
2016,
TACAS.
Lucas C. Cordeiro,
Bernd Fischer,
Hussama Ismail,
2017,
TACAS.
Herbert Rocha,
2015
.
Lucas C. Cordeiro,
Raimundo S. Barreto,
Herbert Rocha,
2012,
IFM.
Lucas C. Cordeiro,
Raimundo S. Barreto,
Hussama Ismail,
2015,
ArXiv.
Lucas C. Cordeiro,
Raimundo S. Barreto,
Herbert Rocha,
2018,
TACAS.
Lucas C. Cordeiro,
Raimundo S. Barreto,
Herbert Rocha,
2015,
SEFM.
Maria Andréia Formico Rodrigues,
Daniel Valente de Macedo,
Herbert Rocha,
2020,
Entertain. Comput..
Raimundo S. Barreto,
Marcelo Custódio,
Herbert Rocha,
2011,
2011 Brazilian Symposium on Computing System Engineering.
Eduardo Valentin,
Raimundo S. Barreto,
Herbert Rocha,
2016,
2016 VI Brazilian Symposium on Computing Systems Engineering (SBESC).
Lucas C. Cordeiro,
Raimundo S. Barreto,
Hussama Ismail,
2015,
2015 Brazilian Symposium on Computing Systems Engineering (SBESC).
Lucas C. Cordeiro,
Herbert Rocha,
Mikhail Y. R. Gadelha,
2020,
International Journal on Software Tools for Technology Transfer.
Lucas C. Cordeiro,
Raimundo Barreto,
Herbert Rocha,
2010
.
Lucas C. Cordeiro,
Raimundo Barreto,
Herbert Rocha,
2020,
TACAS.
Herbert Rocha,
Lucas Cordeiro,
Carmina Porto,
2021,
ArXiv.