Skip to Main content Skip to Navigation
Books

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems

Yamine Aït-Ameur 1 Shin Nakajima 2 Dominique Méry 3, 4, 5, 6
3 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
MPII - Max-Planck-Institut für Informatik, Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
6 MOSEL - Proof-oriented development of computer-based systems
LORIA - FM - Department of Formal Methods
Complete list of metadatas

https://hal.inria.fr/hal-02910199
Contributor : Dominique Méry <>
Submitted on : Saturday, August 1, 2020 - 4:18:56 AM
Last modification on : Wednesday, September 9, 2020 - 2:34:19 PM

Identifiers

Citation

Yamine Aït-Ameur, Shin Nakajima, Dominique Méry. 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⟩

Share

Metrics

Record views

65