tag : program correctness
1 publication
On Correctness and Completeness of an n Queens Program (Theory and Practice of Logic Programming, 2022) — Włodzimierz Drabent On Correctness and Completeness of an n Queens Program (Theory and Practice of Logic Programming, 2022) — Włodzimierz Drabent