Search this site:
Cracs
Home
About Cracs
Research Topics
Publications
Publications by Year
Publications by Type
Publications Filter
Publications at Authenticus
Research Activities
Members
Software
Opportunities
Contacts
Site Map
Documents
Affiliation
CS Department
Faculty of Sciences
University of Porto
Inesc-Porto LA
Agenda
Latest News
Events
Cracs Calendar
Username:
*
Password:
*
Request new password
Home
›
Publications
› Publications by Year
CRACS Publicatons
List
Filter
Export 1 results:
BibTex
Sort by:
Author
Title
[
Year
]
Filters:
Author
is
A. Simões
[Clear All Filters]
2017
Ricardo Gonçalves
and
Miguel Areias
and
Ricardo Rocha
"
Towards an Automated Test Bench Environment for Prolog Systems
"
, in "6th Symposium on Languages, Applications and Technologies (SLATE 2017)"
R. Queirós
and
M. Pinto
and
A. Simões
and
Paulo J. Leal
and
João M. Varanda
(eds)
, pp.2:1–2:13, June 2017.
BibTex
Cracs Calendar
«
June
»
M
T
W
T
F
S
S
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30