@article{1440355,
      recid = {1440355},
      author = {Margaria-Steffen, Tiziana, and Steffen, Bernhard.},
      title = {Leveraging applications of formal methods, verification  and validation : 10th International Symposium on Leveraging  Applications of Formal Methods, ISoLA 2021, Rhodes, Greece,  October 17-29, 2021, Proceedings /. ISoLA (Symposium)},
      publisher = {Springer,},
      address = {Cham :},
      pages = {1 online resource (505 pages)},
      year = {2021},
      note = {5 Lessons Learned and Implications.},
      abstract = {This book constitutes contributions of the ISoLA 2021  associated events. Altogether, ISoLA 2021 comprises  contributions from the proceedings originally foreseen for  ISoLA 2020 collected in 4 volumes, LNCS 12476: Verification  Principles, LNCS 12477: Engineering Principles, LNCS 12478:  Applications, and LNCS 12479: Tools and Trends. The  contributions included in this volume were organized in the  following topical sections: 6th International School on  Tool-Based Rigorous Engineering of Software Systems;  Industrial Track; Programming: What is Next; Software  Verification Tools; Rigorous Engineering of Collective  Adaptive Systems.},
      url = {http://library.usi.edu/record/1440355},
      doi = {https://doi.org/10.1007/978-3-030-89159-6},
}