logo
Abstract interpretation

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

Verification, Model Checking and Abstract Interpretation (VMCAI)

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

International Conference on Formal Structures for Computation and Deduction (FSCD)

Rank: BOffline
Birmingham, UK
Jul 15, 2025 - Jul 18, 2025
Formal StructuresComputationDeduction+39 بیشتر

International Symposium on Theoretical Aspects of Software Engineering (TASE)

Rank: National: ChinaOffline
Shanghai, China
Jul 4, 2026
Algebraic and co-algebraic specificationsAbstract interpretationComponent-based software engineering+7 بیشتر