Dynamic Logic with Non-rigid Functions: A Basis for Object-oriented Program Verification

Reviewed Paper In Proceedings

Author(s):Bernhard Beckert and André Platzer
In:Third International Joint Conference on Automated Reasoning (IJCAR 2006)
Publisher:Springer
Series:LNCS
Volume:4130
Year:2006
Pages:266-280
DOI:10.1007/11814771_23

BibTeX

@InProceedings{BeckertPlatzerIJCAR2006,
  author =       {Bernhard Beckert and Andr\'e Platzer},
  title =        {Dynamic Logic with Non-rigid Functions: 
                  {A} Basis for Object-oriented Program Verification},
  pages =        {266--280},
  booktitle =    {Third International Joint Conference on
                  Automated Reasoning ({IJCAR} 2006)},
  editor =       {Ulrich Furbach and Natarajan Shankar},
  publisher =    {Springer},
  series =       {LNCS},
  volume =       {4130},
  year =         {2006},
  doi      =     {10.1007/11814771_23},
  place    =     {Seattle, WA, USA},
  date     =     {August 17-20},
  month    =     aug
}