TY  - BOOK
AU  - Yamine Ait-Ameur, Shin Nakajima, Dominique Méry
TI  - Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
SN  - 9789811550546
PB  - Springer
UR  - https://link.springer.com/openurl?genre=book&isbn=978-981-15-5054-6
ER  -