Reliable Software Technologies - Ada-Europe 2017 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings - Blieberger, Johann.; Bader, Markus. (Programming and Software Engineering ;, 2017)