Title | Prototypische Ausführung von Objektinteraktionen für die Spezifikationssprache \sc Troll |
Publication Type | Conference Proceedings |
Year of Conference | 1994 |
Authors | Hartmann, T., and G. Saake |
Conference Name | Workshop Deklarative Programmierung und Spezifikation, Bad Honnef |
Pagination | 56-59 |
Publisher | Bericht Nr. 9412, Univ. Kiel |
Abstract | no |
Public | no |