TU Darmstadt
ULB
TUbiblio
Blättern nach Person
Ebene hoch |
Anzahl der Einträge: 2.
Autexier, Serge ; Hutter, Dieter ; Mantel, Heiko ; Schairer, Axel
Hrsg.: Bert, D. ; Choppy, C. ; Mosses, P. (1999)
Towards an evolutionary formal software-development using CASL -- ABSTRACT.
Konferenzveröffentlichung, Bibliographie
Autexier, Serge ; Hutter, Dieter ; Mantel, Heiko ; Schairer, Axel
Hrsg.: Bert, Didier ; Choppy, C. ; Mosses, P. (1999)
Towards an evolutionary formal software-development using CASL: ABSTRACT.
In: Recent trends in algebraic development techniques : 14th International Workshop on Algebraic Development Techniques, WADT'99
Buchkapitel, Bibliographie