TU Darmstadt / ULB / TUbiblio

Formal reasoning about modules, reuse, and their correctness

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)

Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 1996
Autor(en): Lau, K.-K. ; Kreitz, ; Ornaghi, ; Kreitz, ; Ornaghi,
Titel: Formal reasoning about modules, reuse, and their correctness
Sprache: Englisch
Reihe: International Conference on Formal and Applied Practical Reasoning. Hrsg.: D. Gabbay (u.a.) S. 384-398
Band: 1085
Ort: Berlin (u.a.)
Verlag: Springer
Edition: Berlin (u.a.): Springer, 1996
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Hinterlegungsdatum: 19 Nov 2008 15:59
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen