Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
Yamine Ait-Ameur
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems - Springer Nature 2021
One time purchase [Perpetual access]
9789811550546
Computer Science
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems - Springer Nature 2021
One time purchase [Perpetual access]
9789811550546
Computer Science