Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

Second-Order Principles in Specification Languages for Object-Oriented Programs

Reviewed Paper In Proceedings
Author(s):Bernhard Beckert and Kerry Trentelman
In:12th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Publisher:Springer
Series:LNCS
Volume:3835
Year:2005
Pages:154-168

BibTeX

@InProceedings{BeckertTrentelman05,
  author =       {Bernhard Beckert and Kerry Trentelman},
  title  =       {Second-Order Principles in Specification Languages
                  for Object-Oriented Programs},
  booktitle =    {12th International Conference on Logic for 
                  Programming, Artificial Intelligence and Reasoning},
  editor =       {G. Suttcliff and A. Voronkov},
  publisher =    {Springer},
  series =       {LNCS},
  volume =       {3835},
  pages =        {154--168},
  year =         {2005},
  venue =        {Montego Bay, Jamaica}
}