An AITO publication
ISSN 1660-1769
DOI 10.5381/jot
Home
Contents
Masthead
Authors
Software
Special Themes
Newsletter
Articles matching “Vangheluwe”
Moussa Amrani
,
Benoît Combemale
,
Levi Lúcio
,
Gehan M. K. Selim
,
Jürgen Dingel
,
Yves Le Traon
,
Hans Vangheluwe
,
James R. Cordy
,
Formal Verification Techniques for Model Transformations: A Tridimensional Classification
, pp. 1:1-43,
PDF
,
DOI
.
Volume 14, no. 3 (August 2015)
The JOT Journal | ISSN 1660-1769 | DOI 10.5381/jot |
AITO
|
Open Access
|
Contact