Resolution methods in proving the program correctness

  • B. Markoski
Published
Oct 11, 2016
How to Cite
MARKOSKI, B.. Resolution methods in proving the program correctness. Yugoslav Journal of Operations Research, [S.l.], v. 17, n. 2, oct. 2016. ISSN 2334-6043. Available at: <http://yujor.fon.bg.ac.rs/index.php/yujor/article/view/285>. Date accessed: 03 may 2024.
Citation Formats
Issue
Vol 17 No 2 (2007): Vol. 17 No. 2
Section
Articles
Creative Commons License

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.