Powered by
26th ACM International Workshop on Formal Techniques for Java-like Programs (FTfJP 2024),
September 20, 2024,
Vienna, Austria
26th ACM International Workshop on Formal Techniques for Java-like Programs (FTfJP 2024)
Frontmatter
Papers
proc time: 1.63