Marc Schoolderman, Sjaak Smetsers, Marko C. J. D. van Eekelen. Is Deductive Program Verification Mature Enough to be Taught to Software Engineers?. In Ebrahim Rahimi, Dave R. Stikkolorum, editors, CSERC '19: The 8th Computer Science Education Research Conference, Larnaca, Cyprus, November 18-20, 2019. pages 50-57, ACM, 2019. [doi]
Abstract is missing.