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

@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},
  venue     =    {Pune, India},
  eventdate =    {2006-09-11/2006-09-15},
  pages     =    {260--260},
  year      =    {2006},
  month     =    sep,
  doi       =    {10.1109/SEFM.2006.25}
}