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

GreASE: A Tool for Efficient "Nonequivalence" Checking

De Francesco, N., G. Lettieri, A. Santone, and G. Vaglini, "GreASE: A Tool for Efficient "Nonequivalence" Checking", ACM Trans. Softw. Eng. Methodol., vol. 23, no. 3, pp. 24, 2014.