Proceedings

• Jürgen F. H. Winkler, Peter Denecker, Hubert B. Keller, Michael Tonndorf, editors, Ada Deutschland Tagung 2002: Software für sicherheitskritische Systeme, 6. bis 8. März 2002, Jena, Friedrich-Schiller-Universität. Shaker Verlag, 2003.