Zurück zur Übersicht

On Certification of Specifications for TROLL light Objects

full text: PDF
author/s: Stefan Conrad
type:Inproceedings
editor:H. Ehrig, F. Orejas
booktitle:Proc. Workshop on Abstract Data Types (WADT'92), Barcelona
publisher:Springer LNCS 785
pages:158-172
month:March
year:1994

Heinrich Heine Universität

Datenbanken und Informationssysteme

Lehrstuhlinhaber

Prof. Dr. Stefan Conrad


Universitätsstr. 1
40225 Düsseldorf
Gebäude: 25.12
Etage/Raum: 02.24
Tel.: +49 211 81-14088

Sekretariat

Lisa Lorenz



Universitätsstr. 1
40225 Düsseldorf
Gebäude: 25.12
Etage/Raum: 02.22
Tel.: +49 211 81-11312
Verantwortlich für den Inhalt:  E-Mail senden Datenbanken & Informationssysteme