Joseph R. Harrison. Towards an Isabelle/HOL formalisation of core Erlang. In Natalia Chechina, Scott Lystig Fritchie, editors, Proceedings of the 16th ACM SIGPLAN International Workshop on Erlang, Oxford, United Kingdom, September 3-9, 2017. pages 55-63, ACM, 2017. [doi]
Abstract is missing.