Abstract is missing.
- The Significance of Symbolic Logic for Scientific EducationAndré Platzer. 3-22 [doi]
- Introducing GitHub Classroom into a Formal Methods ModuleSoaibuzzaman, Jan Oliver Ringert. 25-42 [doi]
- Teaching Through Practice: Advanced Static Analysis with LiSALuca Negrini, Vincenzo Arceri, Luca Olivieri, Agostino Cortesi, Pietro Ferrara 0001. 43-57 [doi]
- Teaching Formal Methods for 10 Years: Reflections on theories, tools, materials, and communitiesGustavo Carvalho. 58-74 [doi]
- An Educational Module for Temporal Features in Alloy 6Luca Padalino, Francesca Pia Panaccione, Francesco Santambrogio, Elisabetta Di Nitto, Matteo G. Rossi. 75-90 [doi]
- Checking Contracts in Event-B - Reporting the Introduction and the Use of Automated Tools for Verifying Software-Based Systems in Higher EducationDominique Méry. 91-105 [doi]
- Teaching with Logika: Conceiving and Constructing Correct SoftwareStefan Hallerstede, John Hatcliff, Robby. 106-123 [doi]
- Teaching Formal Methods in Application Domains - A Case Study in Computer and Network SecurityAchim D. Brucker, Diego Marmsoler. 124-140 [doi]