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)
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)
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)
K. Leino, P. Müller, and A. Wallenburg. Verified Software: Theories, Tools, Experiments, volume 5295 of Lecture Notes in Computer Science, Springer, Berlin / Heidelberg, (2008)