Ansymo
External content site (publications, course materials and artefacts)
Home (main site)
News and events
BENEVOL2017
BENEVOL 2017 - Agenda
Publications
Courses
Masters Thesis
Project Software Engineering (1BAC)
Software Engineering (3BAC)
Software Reengineering (Master)
Software Testing (Master)
Tools
Experiments
Presentations
Other
Home
›
Publications
Publications
List
Filter
Export 2 results:
XML
BibTex
Sort by:
Author
Title
Type
[
Year
]
Filters:
Author
is
James R. Cordy
[Clear All Filters]
2012
Amrani, M
,
Lúcio L
,
Selim GMK
,
Combemale B
,
Dingel J
,
Vangheluwe H
,
Traon YL
,
Cordy JR
. 2012.
A Tridimensional Approach for Studying the Formal Verification of Model Transformations
.
IEEE International Conference on Software Testing, Verification and Validation (ICST). :921-928.
XML
BibTex
Demeyer, S
. 2012.
Where is the ''business'' case for software clones?
{Software Clone Management Towards Industrial Application (Dagstuhl Seminar 12071)}. 2:27–28.
XML
BibTex