This page in English
SucheCase studies for the derivation of pointer algorithms
T. Ehm
2003-09
in: Universität Augsburg
Technical Report, Institute of Computer Science, University of Augsburg, June 2003
Downloads:
- Case studies for the derivation of pointer algorithms - (tr-2003-9_ehm.pdf, 760 KB)