TY - GEN AU - Blieberger, Johann, AU - Bader, Markus, CN - QA76.76.R44 DO - 10.1007/978-3-319-60588-3 DO - doi ID - 782558 KW - Computer software LK - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-60588-3 N1 - International conference proceedings. N1 - Includes author index. SN - 9783319605883 SN - 3319605887 T1 - Reliable software technologies -- Ada-Europe 2017 :22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings / TI - Reliable software technologies -- Ada-Europe 2017 :22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings / UR - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-60588-3 VL - 10300 ER -