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 autor Cruz, Daniela da
Subscrever estatísticas do autor Cruz, Daniela da
Í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 21-25 de um total de 25 resultados.
< anterior
Data
Título
Autor(es)
Tipo
Acesso
2010
Safe integration of annotated components in open source projects
Areias, Sérgio
;
Cruz, Daniela da
;
Henriques, Pedro Rangel
, et al.
Artigo
Acesso aberto
2012
Verification conditions for single-assignment programs
Cruz, Daniela da
;
Frade, M. J.
;
Pinto, Jorge Sousa
Artigo em ata de conferência
Acesso restrito UMinho
21-Out-2011
Verification, slicing, and visualization of programs with contracts
Cruz, Daniela da
Tese de doutoramento
Acesso aberto
2011
A visual inspector for Boogie programs
Coelho, Márcio
;
Cruz, Daniela da
;
Henriques, Pedro Rangel
, et al.
Artigo em ata de conferência
Acesso aberto
2009
Visualization of domain-specific programs' behavior
Oliveira, Nuno
;
Pereira, Maria Joao Varanda
;
Henriques, Pedro Rangel
, et al.
Artigo em ata de conferência
Acesso aberto