David A. Basin, Xenia Hofmeier, Ralf Sasse, Jorge Toro-Pozo. Getting Chip Card Payments Right. In André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi 0001, editors, Formal Methods - 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I. Volume 14933 of Lecture Notes in Computer Science, pages 29-51, Springer, 2024. [doi]
Abstract is missing.