in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743
Volume: 9111, Pages: 131-145
Conference
20Th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2015, Date: 22 June 2015 through 26 June 2015, Sponsors: AdaCore;Rapita Systems Ltd.