logo
formal methods and model checking

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

International Symposium on Functional and Logic Programming (FLOPS)

Rank: National: JapanOffline
Kumamoto, Japan
May 15, 2024 - May 17, 2024
functionallogicfunctional-logic programming+11 بیشتر