Abstract is missing.
- Abstraction and Modelling: A Complementary PartnershipJeffrey Kramer. 1 [doi]
- Teaching Formal Methods for the Unconquered TerritoryNéstor Cataño, Camilo Rueda. 2-19 [doi]
- Teaching Formal Methods Based on Rewriting Logic and MaudePeter Csaba Ölveczky. 20-38 [doi]
- Which Mathematics for the Information Society?João F. Ferreira, Alexandra Mendes, Roland Carl Backhouse, LuÃs S. Barbosa. 39-56 [doi]
- What Top-Level Software Engineers Tackle after Learning Formal Methods: Experiences from the Top SE ProjectFuyuki Ishikawa, Kenji Taguchi, Nobukazu Yoshioka, Shinichi Honiden. 57-71 [doi]
- Chief Chefs of Z to Alloy: Using a Kitchen Example to Teach Alloy with ZSureyya Tarkan, Vibha Sazawal. 72-91 [doi]
- Teaching Program Specification and Verification Using JML and ESC/Java2Erik Poll. 92-104 [doi]
- How to Explain MistakesStefan Hallerstede, Michael Leuschel. 105-124 [doi]
- Integrated and Tool-Supported Teaching of Testing, Debugging, and VerificationWolfgang Ahrendt, Richard Bubel, Reiner Hähnle. 125-143 [doi]
- On Teaching Formal Methods: Behavior Models and Code AnalysisJan Kofron, Pavel Parizek, Ondrej Sery. 144-157 [doi]
- Teaching Concurrency: Theory in PracticeLuca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jirà Srba. 158-175 [doi]