Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies
ACM Digital Library