logo
Specification and verification of program properties

컨퍼런스 결과 (1)

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

Rank: COffline
Bergen, Norway
Jul 3, 2025
Language design and semanticsType systemsConcurrency and new application domains+5 더 보기