Acronyms von A bis Z
LNCS148
-A. Saiwicki (Ed.): Logics of Programs and Their Applications, Proceedings 1980, Springer-Verlag 1983
-A. Saiwicki (Ed.): Logics of Programs and Their Applications, Proceedings 1980, Springer-Verlag 1983