Serena Spinoso, Matteo Virgilio, Wolfgang John, Antonio Manzalini, Guido Marchetto, Riccardo Sisto. Formal Verification of Virtual Network Function Graphs in an SP-DevOps Context. In Schahram Dustdar, Frank Leymann, Massimo Villari, editors, Service Oriented and Cloud Computing - 4th European Conference, ESOCC 2015, Taormina, Italy, September 15-17, 2015. Proceedings. Volume 9306 of Lecture Notes in Computer Science, pages 253-262, Springer, 2015. [doi]