Albert, E; Gómez-Zamalloa, M; Rubio, A; Sammartino, M; Silva, A; (2018) SDN-Actors: Modeling and Verification of SDN Programs. In: Havelund, K and Peleska, J and Roscoe, B and de Vink, E, (eds.) Proceedings of International Symposium on Formal Methods 2018. (pp. pp. 550-567). Springer Nature: Cham, Switzerland.