Skip navigation
Browse
Communities
& Collections
Browse Items by:
Issue Date
Author
Title
Subject
Document Type
Access types
Scientific areas
Scientific areas (cloud format)
Help
Idioma
English
português
Repositório Aberto da Universidade do Porto
Browsing by Author André Carvalho
Jump to:
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
or enter first few letters:
Sort by:
Title
Issue date
Author
Submit date
In order:
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Record:
All
1
5
10
15
20
25
30
35
40
45
50
Showing results 1 to 2 of 2
Issue Date
Title
Author(s)
Type
2010
A tool for automatic model extraction of Ada/SPARK programs
André Carvalho
;
Nuno Silva
;
Simão Melo de Sousa
;
Nelma Moreira
Capítulo ou Parte de Relatório
2013
Sustainability of bait fishing harvesting in estuarine ecosystems - Case study in the Local Natural Reserve of Douro Estuary, Portugal
André Carvalho
;
Paulo Santos
Artigo em Revista Científica Nacional
