• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 17 matches

• 2004
• 
  Egon Börger:
  A Practice-Oriented Course on the Principles of Computation, Programming, and System Design and Analysis. TFM 2004: 65-84
• 
  Manuel Carro, Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro:
  Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code Patterns. TFM 2004: 85-106
• 
  Jim Davies, Andrew Simpson, Andrew P. Martin:
  Teaching Formal Methods in Context. TFM 2004: 185-202
• 
  Roger Duke, Tim Miller, Paul A. Strooper:
  Integrating Formal Specification and Software Verification and Validation. TFM 2004: 124-139
• 
  Manuel J. Fernández-Iglesias, Martín Llamas Nistal:
  An Undergraduate Course on Protocol Engineering - How to Teach Formal Methods Without Scaring Students. TFM 2004: 153-165
• 
  Henri Habrias, Sébastien Faucou:
  Linking Paradigms, Semi-formal and Formal Notations. TFM 2004: 166-184
• 
  Kung-Kiu Lau:
  A Beginner's Course on Reasoning About Imperative Programs. TFM 2004: 1-16
• 
  Martin J. Loomes, Bruce Christianson, Neil Davey:
  Formal Systems, Not Methods. TFM 2004: 47-64
• 
  Dino Mandrioli:
  Advertising Formal Methods and Organizing Their Teaching: Yes, but .... TFM 2004: 214-224
• 
  José Nuno Oliveira:
  A Survey of Formal Methods Courses in European Higher Education. TFM 2004: 235-248
• 
  Richard F. Paige, Jonathan S. Ostroff:
  Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods. TFM 2004: 107-123
• 
  Peter Pepper:
  Distributed Teaching of Formal Methods. TFM 2004: 140-152
• 
  Joy N. Reed, Jane E. Sinclair:
  Motivating Study of Formal Methods in the Classroom. TFM 2004: 32-46
• 
  Ken Robinson:
  Embedding Formal Development in Software Engineering. TFM 2004: 203-213
• 
  Sylvia da Rosa:
  Designing Algorithms in High School Mathematics. TFM 2004: 17-31
• 
  Baowen Xu, Yingzhou Zhang, Yanhui Li:
  Retrospect and Prospect of Formal Methods Education in China. TFM 2004: 225-234
• 
  C. Neville Dean, Raymond T. Boute:
  Teaching Formal Methods, CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004, Proceedings. Lecture Notes in Computer Science 3294, Springer 2004, ISBN 3-540-23611-2 [contents]