Adrienne Lancelot, Giulio Manzonetto, Guy McCusker, Gabriele Vanoni
Browse the full FOSSACS paper archive.