@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 }