Transforming Linear Terms of Algebraic Specifications into Method Application Structures.
Title | Transforming Linear Terms of Algebraic Specifications into Method Application Structures. |
Publication Type | Journal Article |
Year of Publication | 2006 |
Authors | Dölle, B |
Bibtex:
@article {551, title = {Transforming Linear Terms of Algebraic Specifications into Method Application Structures.}, year = {2006}, note = {International Journal of Computer and Information Science, 7:1-4, 13-32 (2006) [ISSN 1525-9293]}, author = {B. D{\"o}lle} }
- News
- Research
- Teaching
- Staff
- Martin Leucker
- Phillip Bende
- Martin Blankenburg
- Gerhard Buntrock
- David Caraveo
- Lukas Convent
- Normann Decker
- Sebastian Hungerecker
- Karam Kharraz
- Uwe Kienitz
- Nikolas Knickrehm
- Christian Kreutzfeldt
- Felix Lange
- Grigory Markin
- Maria Ostanina
- André Pedro
- Torben Scheffel
- Malte Schmitz
- Nina Strugalla
- Annette Stümpel
- Daniel Thoma
- Open Positions
- Contact