An AITO publication
ISSN 1660-1769
DOI 10.5381/jot
Home
Contents
Masthead
Authors
Software
Special Themes
Newsletter
Articles matching “Cohen”
Julien Cohen
,
Massimo Tisi
,
Remi Douence
,
Automated Proof Tactics for Model Transformation
, pp. 3:1-14,
PDF
,
DOI
.
Volume 23, no. 3 (July 2024)
Tal Cohen
,
Joseph Gil
,
Better Construction with Factories
, pp. 103-123,
PDF
,
HTML
,
DOI
.
Volume 6, no. 6 (July 2007)
The JOT Journal | ISSN 1660-1769 | DOI 10.5381/jot |
AITO
|
Open Access
|
Contact