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

Heuristic Search for Equivalence Checking

De Francesco, N., G. Lettieri, A. Santone, and G. Vaglini, "Heuristic Search for Equivalence Checking", Software and Systems Modeling, vol. 15, no. 2, pp. 513-530, 2016.