autores de Oliveira Dantas, Allberson Bruno de Carvalho Junior, Francisco Heron Barbosa, L. S. Barbosa, L.S.
palavras-chave Formal verification High Performance Computing High-preformance computing Scientific workflows Software components Verification-as-a-Service