Acronyms von A bis Z
LNCS1009
-M. Broy/S. Jähnichen (Eds.): KORSO: Methods, Languages, and Tools for the Construction of Correct Software, Springer-Verlag 1995
-M. Broy/S. Jähnichen (Eds.): KORSO: Methods, Languages, and Tools for the Construction of Correct Software, Springer-Verlag 1995