autores de Oliveira Dantas, ABD de Carvalho Junior, F. Heron Heron de Carvalho Junior, FH Barbosa, L. S. Barbosa, L.S.
palavras-chave Cloud Computing High-preformance computing Scientific workflows Software Components Software Formal Verification Verification as a Service (VaaS)