@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}
}
Second-Order Principles in Specification Languages for Object-Oriented Programs
| Autor(en): | Bernhard Beckert und Kerry Trentelman |
|---|---|
| In: | 12th International Conference on Logic for Programming, Artificial Intelligence and Reasoning |
| Verleger: | Springer |
| Reihe: | LNCS |
| Band: | 3835 |
| Jahr: | 2005 |
| Seiten: | 154-168 |