Peter Zeller 0001, Annette Bieniusa, Carla Ferreira 0001. Teaching practical realistic verification of distributed algorithms in Erlang with TLA+. In Annette Bieniusa, Viktória Fördós, editors, Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang, Erlang@ICFP 2020, Virtual Event, USA, August 23, 2020. pages 14-23, ACM, 2020. [doi]
Abstract is missing.