K. Leino, and M. Kurimo. NODALIDA, volume 131 of Linköping Electronic Conference Proceedings, page 65-69. Linköping University Electronic Press / Association for Computational Linguistics, (2017)
S. Leino, L. Jokinen, J. Anttila, and A. Pulkkinen. PLM, volume 467 of IFIP Advances in Information and Communication Technology, page 591-600. Springer, (2015)
J. Koenig, and K. Leino. Software Safety and Security, volume 33 of NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, (2012)