Julio Ariel Hurtado Alegria, M. Cecilia Bastarrica, Alexandre Bergel. Analyzing the Scrum Process Model with AVISPA. In Sergio F. Ochoa, Federico Meza, Domingo Mery, Claudio Cubillos, editors, SCCC 2010, Proceedings of the XXIX International Conference of the Chilean Computer Science Society, Antofagasta, Chile, 15-19 November 2010. pages 60-65, IEEE Computer Society, 2010. [doi]
Abstract is missing.