%0 Book

%T Formale, semantische Fundierung und eine darauf abgestützte Verifikationsmethode für SDL

%A Hinkel, Ursula

%K Hochschulschrift

%K SDL

%K Formale Semantik

%D 1998

%U http://slubdd.de/katalog?TN_libero_mab2