logo
verifying properties of programs using declarative programming techniques; foundations

Resultados de Congresos (1)

Kumamoto, Japan
May 15, 2024 - May 17, 2024