Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
de Yamine Ait-Ameur, Shin Nakajima, Dominique Méry
Ediciones (3)
- Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems (2021)
Springer Singapore Pte. Limited · inglés · ISBN 9789811550560
- Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems (2020)
Springer · ISBN 9789811550539
- Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems (2020)