@article{1450568,
      note = {International conference proceedings.},
      author = {Margaria-Steffen, Tiziana, and Steffen, Bernhard,},
      url = {http://library.usi.edu/record/1450568},
      title = {Leveraging applications of formal methods, verification  and validation : verification principles : 11th  international symposium, ISoLA 2022, Rhodes, Greece,  October 22-30, 2022, proceedings., Part I /. ISoLA  (Symposium)},
      abstract = {This four-volume set LNCS 13701-13704 constitutes  contributions of the associated events held at the 11th  International Symposium on Leveraging Applications of  Formal Methods, ISoLA 2022, which took place in Rhodes,  Greece, in October/November 2022. The contributions in the  four-volume set are organized according to the following  topical sections: specify this - bridging gaps between  program specification paradigms; x-by-construction meets  runtime verification; verification and validation of  concurrent and distributed heterogeneous systems;  programming - what is next: the role of documentation;  automated software re-engineering; DIME day; rigorous  engineering of collective adaptive systems; formal methods  meet machine learning; digital twin engineering; digital  thread in smart manufacturing; formal methods for  distributed computing in future railway systems; industrial  day.},
      doi = {https://doi.org/10.1007/978-3-031-19849-6},
      recid = {1450568},
      pages = {1 online resource (xiii, 598 pages) :},
}