Books
Year : 2021
Dominique Méry : Connect in order to contact the contributor
https://inria.hal.science/hal-02910199
Submitted on : Saturday, August 1, 2020-4:18:56 AM
Last modification on : Friday, July 26, 2024-3:06:36 AM
Cite
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
View
0
Download