Evènement pour le groupe
Modélisation et Verification
Date | 2014-05-22 11:00-12:00 |
Titre | Analysis of Concurrent Programs via Sequentialization |
Résumé | |
Lieu | 076 |
Orateur | Salvatore La Torre |
Email | latorre@dia.unisa.it |
Url | Univ. Salerno |
Aucun document lié à cet événement.
RetourRetour à l'index