Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
Subtitle: Communications of NII Shonan Meetings
Publisher: Springer
Published: Jul 28, 2020
Format: hardcover
Number of pages: 358
ISBN-13: 9789811550539
Notes: Source title: Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings