BibTeX record conf/icsoft/BernardiCRLS15a

• > Home > conf/icsoft/BernardiCRLS15a

@inproceedings{DBLP:conf/icsoft/BernardiCRLS15a,
  author       = {Mario Luca Bernardi and
                  Marta Cimitile and
                  Giuseppe De Ruvo and
                  Giuseppe A. Di Lucca and
                  Antonella Santone},
  editor       = {Pascal Lorenz and
                  Jorge Cardoso and
                  Leszek A. Maciaszek and
                  Marten van Sinderen},
  title        = {Integrating Model Driven and Model Checking to Mine Design Patterns},
  booktitle    = {Software Technologies - 10th International Joint Conference, {ICSOFT}
                  2015, Colmar, France, July 20-22, 2015, Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {586},
  pages        = {99--117},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-30142-6\_6},
  doi          = {10.1007/978-3-319-30142-6\_6},
  timestamp    = {Tue, 21 Mar 2023 21:01:55 +0100},
  biburl       = {https://dblp.org/rec/conf/icsoft/BernardiCRLS15a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}