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)
K. Heikkinen, S. Salanterä, and H. Leino-Kilpi. Nursing Informatics, volume 146 of Studies in Health Technology and Informatics, page 850-851. IOS Press, (2009)
D. Cok, and K. Leino. The Logic of Software. A Tasting Menu of Formal Methods, volume 13360 of Lecture Notes in Computer Science, page 105-128. Springer, (2022)
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)