![](/img/cover-not-exists.png)
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems (Communications of NII Shonan Meetings) ||
Ait-Ameur, Yamine, Nakajima, Shin, Méry, DominiqueVolume:
10.1007/97
Year:
2021
DOI:
10.1007/978-981-15-5054-6
File:
PDF, 7.72 MB
2021