Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems

Format:: e-book
Title:: Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
Author:: Ait-Ameur; Méry, Dominique; Nakajima, Shin
Language:: English
Publisher:: Springer Singapore 2021
ISBN:: 981-15-5053-0
981-15-5054-9
Permalink:: http://bibtest.howest.be/catalog/ebk03:4100000011363729?locale=en