Team, Visitors, External Collaborators
Overall Objectives
Highlights of the Year
New Software and Platforms
New Results
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub


Section: Highlights of the Year

Highlights of the Year

Awards

Best Paper Award:
[19]
A. Salim Al-Sibahi, A. S. Dimovski, T. Jensen, A. Wasowski.
Verification of High-Level Transformations with Inductive Refinement Types, in: GPCE 2018 - 17th International Conference on Generative Programming: Concepts & Experience, Boston, United States, November 2018, pp. 1-14.
https://hal.inria.fr/hal-01898058