Gianluca Cima, Marco Console, Maurizio Lenzerini, Antonella Poggi
Browse the full LICS paper archive.