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