Ana Romero, Jose Divasón. Experiences and new alternatives for teaching formal verification of Java programs. In Irene Polycarpou, Janet C. Read, Panayiotis Andreou, Michal Armoni, editors, Proceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2018, Larnaca, Cyprus, July 02-04, 2018. pages 383, ACM, 2018. [doi]
Abstract is missing.