Analyzing software process models with AVISPA

Julio Ariel Hurtado Alegria, María Cecilia Bastarrica, Alexandre Bergel. Analyzing software process models with AVISPA. In David Raffo, Dietmar Pfahl, Li Zhang, editors, International Conference on Software and Systems Process, ICSSP 2011, Honolulu, HI, USA, May 21-22, 2011, Proceedings. pages 23-32, ACM, 2011. [doi]

Authors

Julio Ariel Hurtado Alegria

This author has not been identified. Look up 'Julio Ariel Hurtado Alegria' in Google

María Cecilia Bastarrica

This author has not been identified. Look up 'María Cecilia Bastarrica' in Google

Alexandre Bergel

This author has not been identified. Look up 'Alexandre Bergel' in Google