Alberto Bosio, Patrick Girard, Christian Landrault, Serge Pravossoudovitch, Alexandre Rousset, et al.. DERRIC: A Tool for Unified Logic Diagnosis.
ETS: European Test Symposium, May 2007, Freiburg, Germany. pp.13-18,
⟨10.1109/ETS.2007.16⟩.
⟨lirmm-00155993⟩