Vujošević-Janičić, M..
"Using simplex method in verifying software safety" <em>Yugoslav Journal of Operations Research</em> [Online], Volume 19 Number 1 (11 October 2016)