6. IWFM 2003: Dublin, Ireland

@proceedings{DBLP:conf/iwfm/2003,
  editor    = {Joseph M. Morris and
               Benjamin Aziz and
               Fr{\'e}d{\'e}ric Oehl},
  title     = {6th International Workshop on Formal Methods, IWFM 2003, Dublin
               City University. 11 July, 2003},
  booktitle = {IWFM},
  publisher = {BCS},
  series    = {Workshops in Computing},
  year      = {2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Anthony Karel Seda, Máire Lane:
  On Continuous Models of Computation: Towards Computing the Distance Between (Logic) Programs.
  
• Sharon Keidar, Yoav Rodeh:
  Searching for Counter-Examples Adaptively.
  
• Gordon D. Plotkin, John Power:
  Logic for Computational Effects: Work in Progress.
  
• Lu Yan, Kaisa Sere:
  Stepwise Development of Peer-to-Peer Systems.
  
• Christie Bolton, Gavin Lowe:
  On the Automatic Verification of Non-Standard Measures of Consistency.
  
• Stéphane Lafrance, John Mullins:
  Using Admissible Interference to Detect Denial of Service Vulnerabilities.
  
• Doug Goldson:
  Derivation of Distributed Programs in the Theory of Owicki and Gries: An Example.