@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}, }