Reasoning about complexity of object-oriented programs
| Zugehörige Institution(en) am KIT | Institut für Programmstrukturen und Datenorganisation (IPD) |
| Publikationstyp | Buchaufsatz |
| Publikationsjahr | 1994 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 269394 |
| Erscheinungsvermerk | In: Programming concepts, methods and calculi. Ed.: E.-R. Olderog. Amsterdam 1994. S. 553-572. (IFIP transactions. A. 56.) |