Acronyms. 2013.
LNCS1302 — P. Van Hentenryck (Ed.): Static Analysis. Proceedings, Springer Verlag 1997 … Acronyms von A bis Z