Média
Partenaires
Recherche
Activités

Titre: Formal Verification of Systems
Conférencier: Professor Sofiène Tahar ,
Lieu: Université de Montréal - Pavillon André-Aisenstadt ,
Date et heure:
vendredi le 17 novembre 2000 de 00:00 à 00:00

Voyez tous les cour intensifs