logo
formal methods and model checking

Resultados de Congresos (2)

Automated Software Engineering Conference (ASE)

Rank: A*Offline
Seoul, South Korea
Nov 16, 2025 - Nov 20, 2025
Automated Software Engineeringautomating analysisdesign+63 más

International Symposium on Functional and Logic Programming (FLOPS)

Rank: National: JapanOffline
Kumamoto, Japan
May 15, 2024 - May 17, 2024
functionallogicfunctional-logic programming+11 más