Model-Driven Development and Formal Methods: A Literature Review

Valdemar Vicente Graciano Neto

Trabalho Completo - apresentado como Oral - 2014

PDF

Citação:

Valdemar Vicente Graciano Neto. 2014. Model-Driven Development and Formal Methods: A Literature Review. Em Anais do Encontro Anual de Computação de 2014 - ENACOMP 2014. Catalão, GO, Brasil.