Proceedings of 6th International Conference in Software Engineering for Defence Applications: SEDA 2018 - Ciancarini, Paolo (Springer International Publishing, 2020)