MeFoSyLoMa公司
Méthodes Formelles pour les Systèmes Logiciels et Matériels公司
Vendredi 2006年1月20日干预方：塞巴斯蒂安·巴丁，侯达·贝尔·莫卡德姆
14:00-15:00:Sébastien Bardin（LSV）：快速：主题与实践15:00-15:30：Houda Bel Mokadem（LSV）：临时财产保护15:30-16:00：暂停咖啡厅16:00-17:00：讨论要点*Le livre“Mefosyloma”（点）*2006年《财富》组织（分）*组织ICATPN 2009年或2010年提案（讨论）
加上d'informations ici…
面料。科登（at）无效的lip6.fr
