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