Herbert Stoyan. Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation. Volume 91 of Informatik-Fachberichte, Springer, 1984.
No references recorded for this publication.
No citations of this publication recorded.