Acronyms von A bis Z
LNCS213
-ESOP 86. Proceedings, Springer-Verlag 1986. Edited by B. Robinet and R. Wilhelm. VI, 374 pages, 1986
-ESOP 86. Proceedings, Springer-Verlag 1986. Edited by B. Robinet and R. Wilhelm. VI, 374 pages, 1986