Percorrer por autor Romano, Ricardo Jorge Cantador Subscrever estatísticas do autor Romano, Ricardo Jorge Cantador
Mostrar 1-1 de um total de 1 resultados.
Data | Título | Autor(es) | Tipo | Acesso |
---|---|---|---|---|
14-Nov-2011 | Desenvolvimento formal de sistemas críticos: caso de estudo usando SPARK | Romano, Ricardo Jorge Cantador | Dissertação de mestrado | Acesso aberto |