Professor VIOLA DEAMBROSIS Alfredo


Team : APR
Invited by : Antoine GENITRINI
Arrival date : 10/03/2016
Departure date : 10/14/2016

Research activity

Repetitions in increasing trees to represent executions in concurrent programs