TU Darmstadt / ULB / TUbiblio

Browsen nach Person

Ebene hoch
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Datum | Sprache
Anzahl der Einträge: 2.

Bibel, Wolfgang ; Flener, P. ; Lau, K.-K. :
Foreword.
In: Journal of symbolic computation, 30 pp. 1-3.
[Artikel], (2000)

Lau, K.-K. ; Kreitz, ; Ornaghi, ; Kreitz, ; Ornaghi, :
Formal reasoning about modules, reuse, and their correctness.
In: International Conference on Formal and Applied Practical Reasoning. Hrsg.: D. Gabbay (u.a.) S. 384-398 , 1085 . Springer , Berlin (u.a.)
[Konferenz- oder Workshop-Beitrag], (1996)

Diese Liste wurde am Sat Dec 9 07:07:47 2017 CET generiert.