Cover Image
Read Now

1
Published 2024
Springer Nature Switzerland
Table of Contents: “... for Graph Transformation Systems -- Formal Specification of Trusted Execution Environment APIs -- Monitoring...”