English
Português
Log In
Username
Password
Log in
or
Have you forgotten your password?
Communities & Collections
All of DSpace
English
Português
Log In
Username
Password
Log in
or
Have you forgotten your password?
Home
Centres
HASLab
HASLab - Books
Browse by Author
HASLab - Books
Permanent URI for this collection
http://localhost:4000/handle/123456789/180
Browse
Recent Submissions
By Title
By Issue Date
By Author
By Subject
Recent Submissions
By Title
By Issue Date
By Author
By Subject
Browsing HASLab - Books by Author "ter Beek,MH"
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
(Choose start)
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
Browse
Results Per Page
1
5
10
20
40
60
80
100
Sort Options
Ascending
Descending
Item
Formal Methods – The Next 30 Years
(
2019
)
José Nuno Oliveira
;
McIver,A
;
ter Beek,MH
;
5601
Previous
Next