Proceedings of the 2nd international workshop on Evidential assessment of software technologies
ACM Digital Library