événement
Program analysis for concurrent programming : consistency verification of STMHaskell programs using Moth
Défense de mémoire de Mademoiselle Aurélie Duc
Catégorie :
mémoire
Date : 29/08/2014 10:55 - 27/08/2014 12:00
Lieu : Salle Dijkstra
Orateur(s) : Aurélie DUC
Date : 29/08/2014 10:55 - 27/08/2014 12:00
Lieu : Salle Dijkstra
Orateur(s) : Aurélie DUC
Contact :
Benjamine Lurquin
-
081/725255
-
benjamine.lurquin@unamur.be
Télecharger :
vCal