Proceedings-Artikel
Towards MultiMedia Instruction in Safe and Secure Systems
Bernd Krieg-Brückner; Dieter Hutter; Christoph Lüth; Erica Melis; Arnd Pötsch-Heffter; Markus Roggenbach; Jan-Georg Smaus; Martin Wirsing
In: Recent Trends in Algebraic Development Techniques, (WADT-02). Springer-Verlag, LNCS 2755, 2003.