Ouvrage (Y Compris Édition Critique Et Traduction)
Année : 2021
Dominique Méry : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-02910199
Soumis le : samedi 1 août 2020-04:18:56
Dernière modification le : vendredi 26 juillet 2024-03:06:36
Citer
Yamine Aït-Ameur, Shin Nakajima, Dominique Méry (Dir.). Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems. Springer Singapore, 2021, 978-981-15-5053-9. ⟨10.1007/978-981-15-5054-6⟩. ⟨hal-02910199⟩
Collections
179
Consultations
0
Téléchargements