Jean-François Couchot, Frédéric Dadeau, David Déharbe, Silvio Ranise. Proving and Debugging Set-Based Specifications.
6th Brazilian Workshop on Formal Methods, May 2004, Campina Grande, Brazil. pp.189-208,
⟨10.1016/j.entcs.2004.04.012⟩.
⟨inria-00329994⟩