ISBN 9789811550560 books & textbook
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings
Ait-Ameur, Yamine Nakajima, Shin Méry, Dominique
Springer /2021-07-29 Paperback / 360 Pages
isbn-10: 9811550565 / isbn-13: 9789811550560
