Acronyms. 2013.
LNCS1503 — G. Levi (Ed.): Static Analysis. Proceedings, Springer Verlag 1998 … Acronyms von A bis Z