tag : program correctness
1 publication
On Correctness and Completeness of an n Queens Program (article in journal, 2022) — Włodzimierz Drabent On Correctness and Completeness of an n Queens Program (article in journal, 2022) — Włodzimierz Drabent