VUJOŠEVIĆ-JANIČIĆ, M.. Using simplex method in verifying software safety. Yugoslav Journal of Operations Research, [S.l.], v. 19, n. 1, oct. 2016. ISSN 2334-6043. Available at: <http://yujor.fon.bg.ac.rs/index.php/yujor/article/view/323>. Date accessed: 11 may 2024.