@article{931991,
      note = {Includes author index.},
      author = {Hasan, Osman, and Mallet, Frédéric,},
      url = {http://library.usi.edu/record/931991},
      title = {Formal techniques for safety-critical systems : 7th  International Workshop, FTSCS 2019, Shenzhen, China,  November 9, 2019, Revised selected papers /. FTSCS  (Workshop)},
      doi = {https://doi.org/10.1007/978-3-030-46902-3},
      recid = {931991},
      pages = {1 online resource (viii, 141 pages) :},
}