1
“... denominado RavenSPARK, uma junção do perfil Ravenscar (desenvolvido na Universidade de York) com a linguagem...”
Checagem de arquiteturas de controle de veículos submarinos: uma abordagem baseada em especificações formais.
Dissertação
3
4
“... a uma Revisão Sistemática registrada no Prospero da Universidade de York, Inglaterra, sob o número CRD...”
Adaptação do Questionnaire for the Psychosocial Risk Assement Decore-21 com policiais militares das UPPS/RJ
Dissertação