Home  |  english  |  Impressum  |  Datenschutz  |  Sitemap  |  KIT

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

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Bernhard Beckert, Thorsten Bormer und Vladimir Klebanov
In:9th International Symposium on Formal Methods for Components and Objects (FMCO 2010), State-of-the-Art Survey
Verleger:Springer
Reihe:LNCS
Band:6957
Jahr:2011

BibTeX

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