Blättern nach Person
 | Ebene hoch |
Anzahl der Einträge: 1.
Konferenzveröffentlichung
Kreitz, Christoph ; Lau, Kung-Kiu ; Ornaghi, Mario
Hrsg.: Gabbay, Dov M. ; Ohlbach, Hans Jürgen (1996)
Formal reasoning about modules, reuse, and their correctness.
International Conference on Formal and Applied Practical Reasoning ; FAPR '96. Bonn (03.06.1996-07.06.1996)
Konferenzveröffentlichung, Bibliographie
Drucken
Impressum