Testing for Refinement in CSP.

Ana Cavalcanti, Marie-Claude Gaudel

Browse the full ICFEM paper archive.