Acronyms von A bis Z
IFB091
H. Stoyan: Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation, 1984
H. Stoyan: Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation, 1984