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

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Bernhard Beckert und Kerry Trentelman
In:Proceedings, 12th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Montego Bay, Jamaica
Verleger:Springer
Reihe:LNCS 3835
Jahr:2005

BibTeX

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