Acronyms von A bis Z
LNCS724
-P. Cousot/M. Falaschi/G. File/A. Rauzy (Eds.): Static Analysis, Springer-Verlag Proceedings 1993
-P. Cousot/M. Falaschi/G. File/A. Rauzy (Eds.): Static Analysis, Springer-Verlag Proceedings 1993