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