Powered by
25th ACM International Workshop on Formal Techniques for Java-like Programs (FTfJP 2023),
July 18, 2023,
Seattle, WA, USA
25th ACM International Workshop on Formal Techniques for Java-like Programs (FTfJP 2023)
Frontmatter
Verification
Runtime Checking and Static Analysis
Static Types
Transformation
proc time: 1.98