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:Proceedings, International Joint Conference on Automated Reasoning, Seattle, USA
Publisher:Springer
Series:LNCS 4130
Year:2006
Pages:266-280

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 =    {Proceedings, International Joint Conference on
                  Automated Reasoning, Seattle, USA},
  editor =       {U. Furbach and N. Shankar},
  publisher =    {Springer},
  series =       {LNCS 4130},
  year =         {2006}
}