Proceedings of the 12th international conference on Reliable software technologies
ACM Digital Library