TU Darmstadt / ULB / TUbiblio

Towards an evolutionary formal software-development using CASL -- ABSTRACT

Autexier, Serge and Hutter, Dieter and Mantel, Heiko and Schairer, Axel
Bert, D. and Choppy, C. and Mosses, P. (eds.) (1999):
Towards an evolutionary formal software-development using CASL -- ABSTRACT.
In: 14th International Workshop on Algebraic Development Techniques, WADT'99, Springer, In: LNCS, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 1999
Editors: Bert, D. and Choppy, C. and Mosses, P.
Creators: Autexier, Serge and Hutter, Dieter and Mantel, Heiko and Schairer, Axel
Title: Towards an evolutionary formal software-development using CASL -- ABSTRACT
Language: ["languages_typename_1" not defined]
Title of Book: 14th International Workshop on Algebraic Development Techniques, WADT'99
Series Name: LNCS
Volume: 1827
Publisher: Springer
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Modeling and Analysis of Information Systems (MAIS)
Date Deposited: 31 Dec 2016 09:57
Identification Number: autexier.ea:towards-an-evolutionary-formal-software-development-using-casl:1999
Export:

Optionen (nur für Redakteure)

View Item View Item