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 |
Drucken
Impressum