@InProceedings{Spichkova:DSP:2010:2374-18,
  author =       "Maria Spichkova",
  title =        "Refinement-Based Specification and Verification",
  booktitle =    "09381 Extended Abstracts Collection -- Refinement
                 Based Methods for the Construction of Dependable
                 Systems",
  editor =       "Jean-Raymond Abrial and Michael Butler and Rajeev
                 Joshi and Elena Troubitsyna and Jim C. P. Woodcock",
  year =         "2010",
  series =       "Dagstuhl Seminar Proceedings",
  number =       "09381",
  pages =        "18",
  publisher =    "Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r
                 Informatik, Germany",
  address =      "Dagstuhl, Germany",
  ee =           "http://drops.dagstuhl.de/opus/volltexte/2010/2374",
}