Reliable Software Technologies - Ada-Europe 2018 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings - Casimiro, António; Casimiro, António; Ferreira, Pedro M.; Ferreira, Pedro M. (Springer International Publishing : Imprint: Springer, 2018)