Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
Subtitle: Communications of NII Shonan Meetings
Publisher: Springer Singapore Pte. Limited
Published: 2021
Language: eng
Number of pages: 346
ISBN-13: 9789811550560