Anais do Congresso de Iniciação Científica da Unicamp Anais do Congresso de Iniciação Científica da Unicamp

ISSN: 2447-5114

Vol 1, Ano 2015

DOI http://dx.doi.org/10.19146/pibic-2015

Universidade Estadual de Campinas

LuÍs Fernando Antonioli

Este é seu perfil? Faça login para acessar seus certificados

Software Co-Veriﬁcation Based on Program Traces from Different Processors
Tecnológicas

Rodolfo Jardim De Azevedo ¹ ; LuÍs Fernando Antonioli ¹

¹ Universidade Estadual de Campinas

Vol 1, Ano 2015 -
38163

Coautores(as) (1)

Rodolfo Jardim De Azevedo
1 publicação