Communication Dans Un Congrès
Année : 2019
Rachid Echahed : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03066699
Soumis le : mardi 15 décembre 2020-13:53:42
Dernière modification le : lundi 9 décembre 2024-03:37:27
Citer
Jon Haël Brenas, Rachid Echahed, Martin Strecker. Reasoning Formally About Database Queries and Updates. Formal Methods – The Next 30 Years (FM 2019), 2019, Porto, Portugal, France. pp.556-572, ⟨10.1007/978-3-030-30942-8_33⟩. ⟨hal-03066699⟩
Collections
54
Consultations
0
Téléchargements