Reliable Software Technologies - Ada-Europe 2015: Proc./20th Ada-Europe International Conference on RST, Madrid, Spain, June 2015

Reliable Software Technologies - Ada-Europe 2015: Proc./20th Ada-Europe International Conference on RST, Madrid, Spain, June 2015Ed. by De La Puente J. A., Vardanega T..-Berlin.: Springer, 2015.-Vol. 9111.-229 p.-(Lecture Notes in Computer Science).