Reuse and software quality : 20th International Conference on Software and Systems Reuse, ICSR 2022, Montpellier, France, June 15-17, 2022

Veröffentlicht 2022

An SMT-Based Concolic Testing Tool for Logic Programs

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