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