@article{782558,
      recid = {782558},
      author = {Blieberger, Johann, and Bader, Markus,},
      title = {Reliable software technologies -- Ada-Europe 2017 : 22nd  Ada-Europe International Conference on Reliable Software  Technologies, Vienna, Austria, June 12-16, 2017,  Proceedings /. Ada-Europe International Conference on  Reliable Software Technologies},
      pages = {1 online resource (xiv, 251 pages) :},
      note = {International conference proceedings.},
      url = {http://library.usi.edu/record/782558},
      doi = {https://doi.org/10.1007/978-3-319-60588-3},
}