Mario Luca Bernardi, Marta Cimitile, Giuseppe De Ruvo, Giuseppe A. Di Lucca, Antonella Santone. Integrating Model Driven and Model Checking to Mine Design Patterns. In Pascal Lorenz, Jorge Cardoso, Leszek A. Maciaszek, Marten van Sinderen, editors, Software Technologies - 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers. Volume 586 of Communications in Computer and Information Science, pages 99-117, Springer, 2015. [doi]
@inproceedings{BernardiCRLS15a,
title = {Integrating Model Driven and Model Checking to Mine Design Patterns},
author = {Mario Luca Bernardi and Marta Cimitile and Giuseppe De Ruvo and Giuseppe A. Di Lucca and Antonella Santone},
year = {2015},
doi = {10.1007/978-3-319-30142-6_6},
url = {http://dx.doi.org/10.1007/978-3-319-30142-6_6},
researchr = {https://researchr.org/publication/BernardiCRLS15a},
cites = {0},
citedby = {0},
pages = {99-117},
booktitle = {Software Technologies - 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers},
editor = {Pascal Lorenz and Jorge Cardoso and Leszek A. Maciaszek and Marten van Sinderen},
volume = {586},
series = {Communications in Computer and Information Science},
publisher = {Springer},
isbn = {978-3-319-30141-9},
}