logo
proof assistants

カンファレンス検索結果 (1)

ASIAN Symposium on Programming Languages and Systems (APLAS)

Rank: B
Venue TBD
Dec 1, 2026
type systems and dependent typesprogram logics and verificationcompilers and implementation+7 その他