Proceedings/Recueil Des Communications
Année : 2018
Pal Dream : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01963091
Soumis le : vendredi 21 décembre 2018-10:13:15
Dernière modification le : jeudi 15 février 2024-03:31:23
Dates et versions
Identifiants
- HAL Id : hal-01963091 , version 1
Citer
Vlad Rusu. Rewriting Logic and Its Applications: 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings. 11152, Springer International Publishing, pp.XII, 261, 2018, Theoretical Computer Science and General Issues, 978-3-319-99839-8. ⟨hal-01963091⟩
14
Consultations
0
Téléchargements