Logic-based program synthesis and transformation : 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018 : revised selected papers

Veröffentlicht 2019

An SMT-Based Concolic Testing Tool for Logic Programs

von Fortz, Sophie
Veröffentlicht in FLOPS (15. : 2020 : Online) Functional and logic programming (2020)