Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
Communications of NII Shonan Meetings
Edición de la obra Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
| Autor | Yamine Ait-Ameur, Shin Nakajima, Dominique Méry |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Jul 28, 2020 |