TY  - RPRT
TI  - WIP: An Engaging Undergraduate Intro to Model Checking in Software Engineering Using TLA+
AU  - Konstantin Läufer
AU  - Gunda Mertin
AU  - George K. Thiruvathukal
PY  - 2024
UR  - https://arxiv.org/abs/2407.21152
ID  - 2407.21152
ER  -