@article{1480961,
      note = {Includes author index.},
      author = {Cimatti, Alessandro, and Titolo, Laura,},
      url = {http://library.usi.edu/record/1480961},
      title = {Formal methods for industrial critical systems : 28th  International Conference, FMICS 2023, Antwerp, Belgium,  September 20-22, 2023, Proceedings /. International  Workshop on Formal Methods for Industrial Critical Systems},
      abstract = {This book constitutes the proceedings of the 28th  International Conference on Formal Methods for Industrial  Critical Systems, FMICS 2023, held in Antwerp, Belgium,  during September 20-22, 2023. The 14 full papers included  in this book were carefully reviewed and selected from 24  submissions. The papers focus on development and  application of formal methods in industry. FMICS is a  platform for scientists and engineers who are active in the  area of formal methods and interested in exchanging their  experiences in the industrial usage of these methods. FMICS  also strives to promote research and development for the  improvement of formal methods and tools for industrial  applications.},
      doi = {https://doi.org/10.1007/978-3-031-43681-9},
      recid = {1480961},
      pages = {1 online resource (x, 260 pages) :},
}