@article{798350,
      note = {International conference proceedings.},
      author = {Cimatti, Alessandro, and Sirjani, Marjan,},
      url = {http://library.usi.edu/record/798350},
      title = {Software engineering and formal methods : 15th  International Conference, SEFM 2017, Trento, Italy,  September 4?8, 2017, Proceedings /. International  Conference on Software Engineering and Formal Methods},
      doi = {https://doi.org/10.1007/978-3-319-66197-1},
      recid = {798350},
      pages = {1 online resource (xix, 410 pages) :},
}