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

• 2009
• 
  Patrícia D. L. Machado:
  Proceedings of the Eleventh Brazilian Symposium on Formal Methods, SBMF 2008, Salvador, Brazil, August 26-29, 2008. Electronic Notes in Theoretical Computer Science 240, Elsevier 2009 [contents]
• 2008
• 
  Néstor Cataño, Fernando Barraza, Daniel García, Pablo Ortega, Camilo Rueda:
  A Case Study in JML-Assisted Software Development. SBMF 2008: 5-21
• 
  Ana Cavalcanti:
  Stateflow Diagrams in Circus. SBMF 2008: 23-41
• 
  Umberto Souza da Costa, Anamaria Martins Moreira, Martin A. Musicante, Plácido A. Souza Neto:
  Specification and Runtime Verification of Java Card Programs. SBMF 2008: 61-78
• 
  Simone André da Costa, Leila Ribeiro:
  Formal Verification of Graph Grammars using Mathematical Induction. SBMF 2008: 43-60
• 
  Bartira Dantas, David Déharbe, Stephenson Galvão, Anamaria Martins Moreira, Valério Medeiros Júnior:
  Verified Compilation and the B Method: A Proposal and a First Appraisal. SBMF 2008: 79-96
• 
  André Didier, Adalberto Farias, Alexandre Mota:
  Checking Z Data Refinements Using Traces Refinement. SBMF 2008: 129-148
• 
  Flávia Falcão, Juliano Iyoda, Augusto Sampaio:
  Multiple Synchrony in MSC. SBMF 2008: 149-166
• 
  Thierry Jéron:
  Symbolic Model-based Test Selection. SBMF 2008: 167-184
• 
  Patrícia D. L. Machado:
  Preface. SBMF 2008: 1-3
• 
  Magnus O. Myreen, Michael J. C. Gordon:
  Transforming Programs into Recursive Functions. SBMF 2008: 185-200
• 
  Diego Caminha Barbosa De Oliveira, David Déharbe, Pascal Fontaine:
  Combining Decision Procedures by (Model-)Equality Propagation. SBMF 2008: 113-128
• 
  Juan Ignacio Perna, Jim Woodcock:
  Mechanised Wire-wise Verification of Handel-C Synthesis. SBMF 2008: 201-219
• 
  Paul Regnier, George Lima, Aline Maria Santos Andrade:
  A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol. SBMF 2008: 221-238
• 
  Paulo Salem da Silva, Ana Cristina Vieira de Melo:
  Model Checking Merged Program Traces. SBMF 2008: 97-112
• 
  Frank Zeyda, Ana Cavalcanti:
  Mechanical Reasoning about Families of UTP Theories. SBMF 2008: 239-257