JOT The Journal of Object Technology

An AITO publication
ISSN 1660-1769 · DOI 10.5381/jot

Home
Contents
Masthead
Authors
Software
Special Themes

Articles matching “Douence”

Julien Cohen, Massimo Tisi, Remi Douence, Automated Proof Tactics for Model Transformation, pp. 3:1-14, PDF, DOI. Volume 23, no. 3 (July 2024)

The JOT Journal | ISSN 1660-1769 | DOI 10.5381/jot | AITO | Open Access | Contact

Published by AITO · Open Access since 2002