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