logo
verifying properties of programs using declarative programming techniques; foundations

컨퍼런스 결과 (1)

International Symposium on Functional and Logic Programming (FLOPS)

Rank: National: JapanOffline
Kumamoto, Japan
May 15, 2024 - May 17, 2024
functionallogicfunctional-logic programming+11 더 보기