Communication Dans Un Congrès
Année : 1994
Charlotte Hug : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00708038
Soumis le : jeudi 14 juin 2012-14:03:15
Dernière modification le : jeudi 6 avril 2023-10:54:11
Dates et versions
Identifiants
- HAL Id : hal-00708038 , version 1
Citer
Véronique Benzaken, Anne Doucet, Xavier Schaefer. Integrity constraint checking optimization based on abstract interpretation. PRC BD3, 1994, France. pp.1. ⟨hal-00708038⟩
Collections
22
Consultations
0
Téléchargements