Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka, Thomas Wilke. Managing Heterogeneity and Bridging the Gap in Teaching Formal Methods. In Brijesh Dongol, Luigia Petre, Graeme Smith, editors, Formal Methods Teaching - Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings. Volume 11758 of Lecture Notes in Computer Science, pages 181-195, Springer, 2019. [doi]
Abstract is missing.