Abstract is missing.
- Logic, Algebra, and Geometry at the Foundation of Computer ScienceTony Hoare, Alexandra Mendes, João F. Ferreira. 3-20 [doi]
- Teaching Deductive Verification Through Frama-C and SPARK for Non Computer ScientistsLéo Creuse, Claire Dross, Christophe Garion, Jérôme Hugues, Joffrey Huguet. 23-36 [doi]
- Using Krakatoa for Teaching Formal Verification of Java ProgramsJose Divasón, Ana Romero. 37-51 [doi]
- Teaching Deductive Verification in Why3 to Undergraduate StudentsSandrine Blazy. 52-66 [doi]
- Teaching Formal Methods to Future EngineersCatherine Dubois, Virgile Prevosto, Guillaume Burel. 69-80 [doi]
- The Computational Relevance of Formal Logic Through Formal ProofsAriane Alves Almeida, Ana Cristina Rocha Oliveira, Thiago Mendonça Ferreira Ramos, Flávio L. C. de Moura, Mauricio Ayala-Rincón. 81-96 [doi]
- Teaching Formal Methods: From Software in the Small to Software in the LargeMaría-del-Mar Gallardo, Laura Panizo. 97-110 [doi]
- On Teaching Applied Formal Methods in Aerospace EngineeringKristin Yvonne Rozier. 111-131 [doi]
- Teaching Concurrency with the Disappearing Formal MethodEmil Sekerinski. 135-149 [doi]
- Teaching Discrete Mathematics to Computer Science StudentsFaron Moller, Liam O'Reilly. 150-164 [doi]
- Principled and Pragmatic Specification of Programming LanguagesAdrian Johnstone, Elizabeth Scott. 165-180 [doi]
- Managing Heterogeneity and Bridging the Gap in Teaching Formal MethodsPamela Fleischmann, Mitja Kulczynski, Dirk Nowotka, Thomas Wilke. 181-195 [doi]
- Teaching Introductory Formal Methods and Discrete Mathematics to Software Engineers: Reflections on a Modelling-Focussed ApproachAndrew Simpson. 196-211 [doi]
- Teaching Formal Methods: Lessons Learnt from Using Event-BNéstor Cataño. 212-227 [doi]
- You Already Used Formal Methods but Did Not Know ItGiampaolo Bella. 228-243 [doi]