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)