Dijkstra's interpretation of the approach to solving a problem of program correctness

  • B. Markoski
Published
Oct 11, 2016
How to Cite
MARKOSKI, B.. Dijkstra's interpretation of the approach to solving a problem of program correctness. Yugoslav Journal of Operations Research, [S.l.], v. 20, n. 2, oct. 2016. ISSN 2334-6043. Available at: <http://yujor.fon.bg.ac.rs/index.php/yujor/article/view/349>. Date accessed: 29 apr. 2024.