Towards MultiMedia Instruction in Safe and Secure Systems

@inproceedings{pub1636,
    author = {

Krieg-Brückner, Bernd
 and 

Hutter, Dieter
 and 

Lüth, Christoph
 and 

Melis, Erica
 and 

Pötsch-Heffter, Arnd
 and 

Roggenbach, Markus
 and 

Smaus, Jan-Georg
 and 

Wirsing, Martin
},
    editor = {

Wirsing, Martin
 and 

Pattinson, Dirk
 and 

Hennicker, Rolf
},
    title = {Towards MultiMedia Instruction in Safe and Secure Systems},
    booktitle = {16th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 2002). International Workshop on Algebraic Development Techniques (WADT-2002), Frauenchiemsee, Germany},
    series = {Lecture Notes in Computer Science},
    year = {2003},
    volume = {2755},
    pages = {82--117},
    publisher = {Springer}
}