Vujošević-Janičić, M..
" Using simplex method in verifying software safety." <em>Yugoslav Journal of Operations Research</em> [Online], 19.1 (2009): n. pag. Web. 15 Apr. 2025