Si ta citojmë këtë artikull: Artikulli me titull "program correctnes proof" është marrë nga Shqipopedia: https://wiki.shqipopedia.org/program-correctnes-proof