@article{856624,
      recid = {856624},
      author = {Bowen, J. P. and Liu, Zhiming, and Zhang, Zili},
      title = {Engineering trustworthy software systems : third  International School, SETSS 2017, Chongqing, China, April  17-22, 2017, Tutorial lectures /. SETSS (International  School)},
      pages = {1 online resource (xvii, 219 pages) :},
      note = {Includes author index.},
      url = {http://library.usi.edu/record/856624},
      doi = {https://doi.org/10.1007/978-3-030-02928-9},
}