Return to Article Details Um Modelo de Controle Formal para o gerenciamento de riscos de processo em fábricas de software Download Download PDF