Showing 1 - 2 results of 2 for search 'Everton Cavalcante', query time: 0.02s
Refine Results
-
1
-
2
A Research Landscape on Formal Verification of Software Architecture Descriptions by Camila Araujo, Everton Cavalcante, Thais Batista, Marcel Oliveira, Flavio Oquendo
Published 2019-01-01
Article