Evènement pour le groupe Modélisation et Verification


Date 2014-05-22  11:00-12:00
TitreAnalysis of Concurrent Programs via Sequentialization 
Résumé 
Lieu076 
OrateurSalvatore La Torre 
Emaillatorre@dia.unisa.it 
UrlUniv. Salerno 



Aucun document lié à cet événement.

Retour
Retour à l'index