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 その他