Viktória Fördós. Secure design and verification of Erlang systems. 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 31-40, ACM, 2020. [doi]
Abstract is missing.