1
Assuntos:
“...Engenharia de software...”
Validating transformations of OO programs using the alloy analyzer
Tese