Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
Subtitle: Communications of NII Shonan Meetings
Publisher: Springer
Published: Aug 01, 2020
Format: paperback
Number of pages: 360
ISBN-13: 9789811550553
Notes: Source title: Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings