Vujošević-Janičić, ....
2016 Oct 11. Using simplex method in verifying software safety. Yugoslav Journal of Operations Research. [Online] 19:1