- LNCS1145
- -R. Cousot/D-A. Schmidt (Eds.): Static Analysis. Proceedings 1996, Springer-Verlag 1996
Acronyms. 2013.
Acronyms. 2013.
LNCS1145 — R. Cousot/D A. Schmidt (Eds.): Static Analysis. Proceedings 1996, Springer Verlag 1996 … Acronyms von A bis Z