Skip to Main content Skip to Navigation
Directions of work or proceedings

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

Complete list of metadata

https://hal.inria.fr/hal-02910199
Contributor : Dominique Méry <>
Submitted on : Saturday, August 1, 2020 - 4:18:56 AM
Last modification on : Wednesday, June 9, 2021 - 10:00:27 AM

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

180