Improving the Usability of Specification Languages and Methods for Annotation-based Verification

@InProceedings{BeckertBormerKlebanov2011,
  author =       {Bernhard Beckert and Thorsten Bormer and Vladimir Klebanov},
  title =        {Improving the Usability of Specification Languages and Methods
                  for Annotation-based Verification},
  booktitle =    {9th International Symposium on Formal Methods for Components and
		  Objects ({FMCO} 2010), State-of-the-Art Survey},
  editor =       {Bernhard Aichernig and {Frank S.} {de Boer} and Marcello Bonsangue},
  publisher =    {Springer},
  series =       {LNCS},
  volume =       {6957},
  year =         {2011},
  month =        jan
}