skip to content
  • it
UNIVERSITÀ DEGLI STUDI
DEL SANNIO   Benevento
 

A novel approach based on formal methods for clone detection

Cuomo, A., A. Santone, and U.. Villano, "A novel approach based on formal methods for clone detection", Software Clones (IWSC), 2012 6th International Workshop on: IEEE, pp. 8–14, 2012.