Thesis Defense: Vincenzo Mastandrea "Deadlock analysis for concurrent and distributed programming"

When : 
15/12/2017 (All day)
Description : 

Supervized by Ludovic Henrio and Cosimo Laneve