Alex Gerdes, John Hughes, Nicholas Smallbone, Stefan Hanenberg, Sebastian Ivarsson, Meng Wang. Understanding formal specifications through good examples. In Natalia Chechina, Adrian Francalanza, editors, Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang, ICFP 2018, St. Louis, MO, USA, September 23-29, 2018. pages 13-24, ACM, 2018. [doi]
Abstract is missing.