WIP: An Engaging Undergraduate Intro to Model Checking in Software Engineering Using TLA+. - Konstantin Läufer; Gunda Mertin; George K. Thiruvathukal (FIE, 2024)

Engaging More Students in Formal Methods Education: A Practical Approach Using Temporal Logic of Actions. - Konstantin Läufer; Gunda Mertin; George K. Thiruvathukal (Computer, 2024)