Correctness of the compiling process based on axiomatic semantics Bruce Russell OriginalPaper Pages: 1 - 20
Evaluation des performances d'un algorithme de contrôle de la cohérence d'une base de données répartie B. Plateau OriginalPaper Pages: 39 - 62