Acronyms von A bis Z
LNCS164
-E. Clarke/D. Kozen (Eds.): Logics of Programs, Proceedings 1983, Springer-Verlag 1984
-E. Clarke/D. Kozen (Eds.): Logics of Programs, Proceedings 1983, Springer-Verlag 1984