O. Abusdal, C. Din, V. Pun, and V. Stolz. The Logic of Software. A Tasting Menu of Formal Methods, volume 13360 of Lecture Notes in Computer Science, page 1-18. Springer, (2022)
F. Ahishakiye, J. Jarabo, V. Pun, and V. Stolz. Formal Methods in Outer Space, volume 13065 of Lecture Notes in Computer Science, page 108-126. Springer, (2021)