Teaching practical realistic verification of distributed algorithms in Erlang with TLA+.

Peter ZellerAnnette BieniusaCarla Ferreira
Published in: Erlang Workshop (2020)
Keyphrases