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

Equivalence Checking in the Bank Supply Process

De Ruvo, G., A. Santone, and D. Raucci, "Equivalence Checking in the Bank Supply Process", 2014 IEEE 10th World Congress on, IEEE Computer Society, pp. 87-97, 2014.