Acronyms. 2013.
LNCS1283 — M. Müller Olm: Modular Compiler Verification. Springer Verlag 1997 … Acronyms von A bis Z