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

Integrating model driven and model checking to mine design patterns

Bernardi, M. Luca, M. Cimitile, G. De Ruvo, G.A.. Di Lucca, and A. Santone, "Integrating model driven and model checking to mine design patterns", Communications in Computer and Information Science, vol. 586, pp. 99-117, 2016.