- Search

- Kontakt

Algebraic structures for program calculation

B. Möller
International Summer School Marktoberdorf, July 28 - August 9, 1998.
In M. Broy, R. Steinbrüggen (eds.): Calculational system design, NATO Advanced Science Institutes Series. Subseries F: Computer and Systems Sciences.
pp. 25-97, 1999.
IOS Press.