Integrating Correction into Incremental Validation (2006)

by B Bouchou, A Cheriat, M H F Alves, A Savary
Venue:in 22emes Journes Bases de Donnes Avances, BDA (informal proceedings