Markoski, B.
(2016).
 Resolution methods in proving the program correctness.
<em>Yugoslav Journal Of Operations Research, 17</em>(2).
Retrieved from <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>