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

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

Supervized by Ludovic Henrio and Cosimo Laneve