Integrating Object-oriented Design and Deductive Verification of Software. Tutorial Abstract

Reviewed Paper In Proceedings

Author(s):Bernhard Beckert, Reiner Hähnle, and Peter H. Schmitt
In:4th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006)
Publisher:IEEE Computer Society
Year:2006
Pages:260
DOI:10.1109/SEFM.2006.25

BibTeX

@InProceedings{BeckertHaehnleSchmittSEFMTut2006,
  author    =    {Bernhard Beckert and Reiner H\"ahnle and Peter H. Schmitt},
  title     =    {Integrating Object-oriented Design and Deductive Verification of Software. {T}utorial Abstract},
  booktitle =    {4th {IEEE} International Conference on Software Engineering and Formal Methods ({SEFM} 2006)},
  publisher =    {{IEEE} Computer Society},
  place     =    {Pune, India},
  date      =    {September 11-15},
  pages     =    {260},
  year      =    {2006},
  month     =    sep,
  doi       =    {10.1109/SEFM.2006.25}
}