Vujošević-Janičić, M. (2016). Using simplex method in verifying software safety. Yugoslav Journal Of Operations Research, 19(1). Retrieved from https://yujor.fon.bg.ac.rs/index.php/yujor/article/view/323