MARKOSKI, B..
 Resolution methods in proving the program correctness.
<strong>Yugoslav Journal of Operations Research</strong>, [S.l.], v. 17, n. 2, oct. 2016.
ISSN 2334-6043.
Available at: &lt;<a href="https://yujor.fon.bg.ac.rs/index.php/yujor/article/view/285" target="_new">https://yujor.fon.bg.ac.rs/index.php/yujor/article/view/285</a>&gt;. Date accessed: 15 apr. 2025.