Page principale

Ses 2 articles présentés dans le cadre du congrès :

• Systematic Identification of Preconditions from Set-Based Integrity Constraints. 595-610 (2006)
  Amel MAMMAR • Frederic GERVAIS • Regine LALEAU
  
  
• Une Approche Formelle par Raffinement pour le Développement d'Applications Bases de Données Sûres. 319-339 (2001)
  Amel MAMMAR
  
  

• Participations au comité de programme

  2010

  Membre

• Localisation au cours des années

  2010	Evry	France
  2006	Luxembourg	Luxembourg
  2001	Evry	France

• Ses 2 coauteurs :

  Frederic GERVAIS	2006, 2006
  Regine LALEAU	1995, 1995, 2006, 2007, 2009, 2011

Page générée le vendredi 21 novembre 2025, 10:11:21.

Guillaume Cabanac, Cécile Favre, Aleksandra Kruchinina 2021, Ophélie Fraisier 2015, Clara Belair 2011-2017, Marc Ternisien 2011