JASIM AL-FARTTOOSI DS. Formal model and Policy specification for software defined networks. Jour. Kufa Math. Comp. [Internet]. 2016 Dec. 30 [cited 2024 May 17];3(2):55-62. Available from: https://journal.uokufa.edu.iq/index.php/jkmc/article/view/2119