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

CD-Form: A clone detector based on formal methods

Cuomo, A.., A.. Santone, and U.. Villano, "CD-Form: A clone detector based on formal methods", Science of Computer Programming, vol. 95, pp. 390-405, 2014.