Acronyms von A bis Z
LNCS1165
-J.-R. Abrial/E. Börger/H. Langmaack (Eds.): Formal Methode for Industrial Applications. Springer-Verlag 1996
-J.-R. Abrial/E. Börger/H. Langmaack (Eds.): Formal Methode for Industrial Applications. Springer-Verlag 1996