@inproceedings{7d5ed3156e3b434e9226a48d72ee37a8,
title = "WIP: An Engaging Undergraduate Intro to Model Checking in Software Engineering Using TLA+",
keywords = "Computer Science Education, Formal Methods, Model Checking, Safety-Critical Systems, Software Testing",
author = "Konstantin L{\"a}ufer and Gunda Mertin and Thiruvathukal, \{George K.\}",
note = "Publisher Copyright: {\textcopyright} 2024 IEEE.; 54th IEEE Frontiers in Education Conference, FIE 2024 ; Conference date: 13-10-2024 Through 16-10-2024",
year = "2024",
doi = "10.1109/FIE61694.2024.10893422",
language = "English",
series = "Proceedings - Frontiers in Education Conference, FIE",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
booktitle = "2024 IEEE Frontiers in Education Conference, FIE 2024 - Proceedings",
}