TFM 2009: Eindhoven, The Netherlands

• Jeffrey Kramer:
  Abstraction and Modelling: A Complementary Partnership. 1
  
• Néstor Cataño, Camilo Rueda:
  Teaching Formal Methods for the Unconquered Territory. 2-19
  
• Peter Csaba Ölveczky:
  Teaching Formal Methods Based on Rewriting Logic and Maude. 20-38
  
• João F. Ferreira, Alexandra Mendes, Roland Carl Backhouse, Luís S. Barbosa:
  Which Mathematics for the Information Society? 39-56
  
• Fuyuki Ishikawa, Kenji Taguchi, Nobukazu Yoshioka, Shinichi Honiden:
  What Top-Level Software Engineers Tackle after Learning Formal Methods: Experiences from the Top SE Project. 57-71
  
• Sureyya Tarkan, Vibha Sazawal:
  Chief Chefs of Z to Alloy: Using a Kitchen Example to Teach Alloy with Z. 72-91
  
• Erik Poll:
  Teaching Program Specification and Verification Using JML and ESC/Java2. 92-104
  
• Stefan Hallerstede, Michael Leuschel:
  How to Explain Mistakes. 105-124
  
• Wolfgang Ahrendt, Richard Bubel, Reiner Hähnle:
  Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification. 125-143
  
• Jan Kofron, Pavel Parizek, Ondrej Sery:
  On Teaching Formal Methods: Behavior Models and Code Analysis. 144-157
  
• Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jirí Srba:
  Teaching Concurrency: Theory in Practice. 158-175