Publicações desse autor:
Model-Driven Development and Formal Methods: A Literature Review
Valdemar Vicente Graciano Neto