logo
Language design and semantics

نتائج المؤتمرات (1)

Workshop on Formal Techniques for Java-like Programs (FTfJP)

Rank: COffline
Bergen, Norway
Jul 3, 2025
Specification and verification of program propertiesProgram analysis (static or dynamic)Program synthesis+5 المزيد