- Suche

- Kontakt

Transformational construction of correct pointer algorithms

T. Ehm
erschienen Juli 2001 Andrei Ershov Fourth International Conference on Perspectives of Systems Informatics.
pp. 116-130, Novosibirsk, Russia, Juli 2001.
In D. Bjorner, M. Broy, A.V. Zamulin (eds.): Lecture Notes in Computer Science 2244.
Springer-Verlag.

Downloads: