Resolution methods in proving the program correctness

  • B. Markoski
Published
2016-10-11
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: <https://yujor.fon.bg.ac.rs/index.php/yujor/article/view/285>. Date accessed: 14 apr. 2025.
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.

Most read articles by the same author(s)

Obs.: This plugin requires at least one statistics/report plugin to be enabled. If your statistics plugins provide more than one metric then please also select a main metric on the admin's site settings page and/or on the journal manager's settings pages.