Implicit and explicit semantics integration in proof-based developments of discrete systems : communications of NII Shonan Meetings
Author(s)
Bibliographic Information
Implicit and explicit semantics integration in proof-based developments of discrete systems : communications of NII Shonan Meetings
Springer, c2021
- : hardback
Available at / 1 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references