Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Books Year : 2021

Dates and versions

hal-02910199 , version 1 (01-08-2020)

Identifiers

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⟩
165 View
0 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More