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

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Bernhard Beckert, Reiner Hähnle und Peter H. Schmitt
In:Software Engineering and Formal Methods. 4th IEEE International Conference, SEFM 2006, Pune, India, Proceedings
Verleger:IEEE Press
Jahr:2006
Seiten:260

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 =    {Software Engineering and Formal Methods.
                  4th IEEE International Conference, SEFM 2006, Pune, India,
                  Proceedings},
  publisher =    {IEEE Press},
  pages =        {260},
  year =         {2006}
}