logo
program logics

نتایج کنفرانس‌ها (1)

Verification, Model Checking and Abstract Interpretation (VMCAI)

Rank: BOffline
Rennes, France
Jan 11, 2026 - Jan 17, 2026
program verificationmodel checkingabstract interpretation+23 بیشتر