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", Sci. Comput. Program., vol. 95, no. 4: Elsevier, pp. 390-405, 2014.