Department of Computer Science of Bologna

People involved:

• Cosimo Laneve (coordinator)

• Paolo Ciancarini

• Nadia Busi

• Fabio Vitali

• Gianluigi Zavattaro

• Francesco Franzè

• Davide Rossi

• Luca Bompani

Results