Alves, S (Author) (Other); Cervesato, I (Author) (Other); Chaudhuri, K (Author) (Other); Fernández, M (Author) (Other); Florido, M (Author) (FCUP); Gay, S (Author) (Other); Martini, S (Author) (Other); Paolini, L (Author) (Other); Della Rocca, SR (Author) (Other); Schürmann, C (Author) (Other); Simmons, R (Author) (Other); Vasconcelos, V (Author) (Other)

Rocha, R (Author) (Other); Formisano, A (Author) (Other); Liu, YA (Author) (Other); Miguel Areias (Author) (FCUP); Angelopoulos, N (Author) (Other); Bogaerts, B (Author) (Other); Dodaro, C (Author) (Other); Alviano, M (Author) (Other); Brik, A (Author) (Other); Vennekens, J (Author) (Other); Pozzato, GL (Author) (Other); Zhou, NF (Author) (Other); Dahl, V (Author) (Other); Fodor, P (Author) (Other)

Florido, M (Author) (FCUP); Mackie I. (Author) (Other)

Haeri, SH (Author) (Other); Van Roy, P (Author) (Other); Baquero, C (Author) (Other); Meiklejohn, C (Author) (Other)

Sandra Alves (Author) (FCUP); Ian Mackie (Author) (Other)

Cámara, J (Author) (Other); Proença, J (Author) (Other)

Silva, M (Author) (Other); Florido, M (Author) (FCUP); Pfenning, F (Author) (Other)