• 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 14 matches

• 2011
• 
  Bernhard Beckert, Claude Marché:
  Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6528, Springer 2011, ISBN 978-3-642-18069-9 [contents]
• 2010
• 
  Davide Ancona, Andrea Corradi, Giovanni Lagorio, Ferruccio Damiani:
  Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification? FoVeOOS 2010: 31-45
• 
  June Andronick:
  From a Proven Correct Microkernel to Trustworthy Large Systems. FoVeOOS 2010: 1-9
• 
  Daniel Bruns, Vladimir Klebanov, Ina Schaefer:
  Verification of Software Product Lines with Delta-Oriented Slicing. FoVeOOS 2010: 61-75
• 
  Manuel Fähndrich, Francesco Logozzo:
  Static Contract Checking with Abstract Interpretation. FoVeOOS 2010: 10-30
• 
  Christoph Gladisch:
  Satisfiability Solving and Model Generation for Quantified First-Order Logic Formulas. FoVeOOS 2010: 76-91
• 
  Laurent Hubert, Nicolas Barré, Frédéric Besson, Delphine Demange, Thomas P. Jensen, Vincent Monfort, David Pichardie, Tiphaine Turpin:
  Sawja: Static Analysis Workshop for Java. FoVeOOS 2010: 92-106
• 
  Marieke Huisman, Dilian Gurov:
  CVPP: A Tool Set for Compositional Verification of Control-Flow Safety Properties. FoVeOOS 2010: 107-121
• 
  Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa:
  Validating Timed Models of Deployment Components with Parametric Concurrency. FoVeOOS 2010: 46-60
• 
  Séverine Maingaud, Vincent Balat, Richard Bubel, Reiner Hähnle, Alexandre Miquel:
  Specifying Imperative ML-Like Programs Using Dynamic Logic. FoVeOOS 2010: 122-137
• 
  Peter H. Schmitt, Mattias Ulbrich, Benjamin Weiß:
  Dynamic Frames in Java Dynamic Logic. FoVeOOS 2010: 138-152
• 
  Asma Tafat, Sylvain Boulmé, Claude Marché:
  A Refinement Methodology for Object-Oriented Programs. FoVeOOS 2010: 153-167
• 
  Mattias Ulbrich:
  A Dynamic Logic for Unstructured Programs with Embedded Assertions. FoVeOOS 2010: 168-182
• 
  Daniel M. Zimmerman, Rinkesh Nagmoti:
  JMLUnit: The Next Generation. FoVeOOS 2010: 183-197