Menezes, Bruno
1885  results:
Search for persons X
?
1

A Two-Level Approach Based on Model Checking to Support Arc..:

, In: Lecture Notes in Computer Science; Formal Methods: Foundations and Applications,
 
?
2

Avaliação do potencial de mitigação das mudanças climáticas..:

Caldas, Lucas Rosse ; Rodriguez, Leonardo ; Menezes, Bruno.
LALCA: Revista Latino-Americana em Avaliação do Ciclo de Vida.  4 (2020)  - p. e45188 , 2020
 
1-15