Vol. 33 (2010): Foundations and Techniques for Open Source Software Certification 2010

Sulayman Sowe, Antonio Cerone

Manuel Barbosa, J. Pinto, J.-C. Filliatre, B. Vieira

Robert Charpentier, Mourad Debbabi, Dima Alhadidi, Azzam Mourad, Nadia Belblidia, Amine Boukhtouta, Aiman Hanna, Rachid Hadjidj, Hakim Kaitouni, Marc-André Laverdière, Hai Ling, Syrine Tlili, Xiaochun Yang, Zhenrong Yang

Joao Silva, José Creissac, Joao Saraiva

Mario Fusani, Eda Marchetti

Antonio Cerone, Sulayman Sowe

Mads Olesen, Rene Hansen, Julia Lawall, Nicolas Palix

Zulqarnain Hashmi, Siraj Shaikh, Naveed Ikram

Sergio Areias, Daniela Cruz, Pedro Henriques, Jorge Pinto

Johannes Feuser, Jan Peleska

Alberto Simões, Nuno Carvalho, José Almeida

George Kakarontzas, Panagiotis Katsaros, Ioannis Stamelos

Peter Breuer, Simon Pickin

Luis Barbosa, Antonio Cerone, Siraj Shaikh