le prochaine seminaire PPS est:
Jeudi 14 Janvier, 11h salle 3E91 –
Dimitrios Vytiniotis (Microsoft Research),
Type system support for static program verification
https://www.pps.jussieu.fr/seminaire/sem2009/abstracts/vytiniotis
Inscription à :
Publier les commentaires (Atom)
Aucun commentaire:
Enregistrer un commentaire