@inproceedings{DBLP:conf/erlang/0001B020,
  author       = {Peter Zeller and
                  Annette Bieniusa and
                  Carla Ferreira},
  editor       = {Annette Bieniusa and
                  Vikt{\'{o}}ria F{\"{o}}rd{\'{o}}s},
  title        = {Teaching practical realistic verification of distributed algorithms
                  in Erlang with {TLA+}},
  booktitle    = {Proceedings of the 19th {ACM} {SIGPLAN} International Workshop on
                  Erlang, Erlang@ICFP 2020, Virtual Event, USA, August 23, 2020},
  pages        = {14--23},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3406085.3409009},
  doi          = {10.1145/3406085.3409009},
  timestamp    = {Thu, 14 Oct 2021 10:19:37 +0200},
  biburl       = {https://dblp.org/rec/conf/erlang/0001B020.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}