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