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

Allgemein

Marke
Springer Nature Singapore

Eigenschaften

Menü