@InProceedings{BeckertBormerKlebanov2010,
  author =       {Bernhard Beckert and Thorsten Bormer and Vladimir Klebanov},
  title =        {Improving the Usability of Specification Languages and Methods for Annotation-based Verification},
  booktitle =    {"Formal Methods for Components and Objects", 9th International Symposium FMCO 2010, Graz, Austria, November 29 - December 1, 2010 --- "State-of-the-Art Survey"},
  editor =       {B.K. Aichernig, F.S. de Boer, M.M. Bonsangue, (eds.)},
  publisher =    {Springer},
  series =       {LNCS},
  number =       {6957},
  year =         {2011}
}