1
Assuntos:
“...Especificação de casos de uso...”
Extração automática de modelos CSP a partir de casos de uso
Dissertação