Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto
Browse the full ISoLA paper archive.