@article{781019,
      recid = {781019},
      author = {Bowen, J. P. and Liu, Zhiming, and Zhang, Zili},
      title = {Engineering trustworthy software systems : second  International School, SETSS 2016, Chongqing, China, March  28-April 2, 2016, Tutorial lectures /. SETSS (Summer  school)},
      pages = {1 online resource (xv, 259 pages) :},
      note = {Includes author index.},
      url = {http://library.usi.edu/record/781019},
      doi = {https://doi.org/10.1007/978-3-319-56841-6},
}