Data Quality through Model Checking Techniques.

Mario Mezzanzanica, Roberto Boselli, Mirko Cesarini, Fabio Mercorio

Browse the full IDA paper archive.