Skip navigation
tequery
Página principal
Percorrer por
Comunidades
& Coleções
Percorrer por:
Títulos
Autores
Autores UMinho
Orientadores
Editores
Assuntos
Áreas do conhecimento
Datas de publicação
Tipos de documento
Tipos de acesso
Editoras
Revistas
Ajudas
Sobre o RepositóriUM
FAQs
Utilização geral
Auto-Arquivo
Copyright
português
francês
espanhol
inglês
Entrar
Área Pessoal
Subscrição de estatísticas
Serviço de alertas
Editar conta
Percorrer por orientadores 1171
Índice:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
ou inserir as letras iniciais:
Ordenar por:
título
data de publicação
data de depósito
tipo de documento
tipo de acesso
Em ordem:
ascendente
descendente
Resultados/Página:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Autores/Registo:
todos
1
3
5
10
15
20
25
30
35
40
45
50
Mostrar 1-8 de um total de 8 resultados.
Data
Título
Autor(es)
Tipo
Acesso
2017
Automatização de testes para aplicações web
Costa, Raquel Sepúlveda da
Dissertação de mestrado
Acesso restrito UMinho
28-Nov-2013
A bounded model checker for SPARK programs
Lourenço, Cláudio Filipe Belo da Silva
Dissertação de mestrado
Acesso aberto
2021
Compositional analysis of vulnerabilities in microservice-based applications
Loureiro, Nelson Diogo Santos
Dissertação de mestrado
Acesso aberto
2021
Conversão para Why3 de formalizações em Coq
Ferreira, Bárbara Andreia Cardoso
Dissertação de mestrado
Acesso aberto
2017
Correct translation of imperative programs to single assignment form
Azevedo, Marta Vasconcelos Castro
Dissertação de mestrado
Acesso aberto
2014
Um estudo sobre a correspondência entre programação funcional com continuações e programação imperativa Single assignment
Ferreira, Tiago Alexandre da Costa
Dissertação de mestrado
Acesso aberto
14-Nov-2012
Learning and testing stochastic discrete event
Pedro, André Matos
Dissertação de mestrado
Acesso aberto
2012
Lógica da separação e verificação formal de programas
Santos, Isabel Maria Ventura
Dissertação de mestrado
Acesso aberto