Powered by
7th ACM International Workshop on Verification and Monitoring at Runtime Execution (VORTEX 2024),
September 19, 2024,
Vienna, Austria
7th ACM International Workshop on Verification and Monitoring at Runtime Execution (VORTEX 2024)
Frontmatter
Keynotes
Papers
proc time: 2.25