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. 11 May. 2024