logo
proof assistants

会议结果 (1)

ASIAN Symposium on Programming Languages and Systems (APLAS)

Rank: B
Venue TBD
Jan 12, 2026
programming paradigms and stylestype systems and dependent typesprogram logics and verification+7 更多