Nebeninhalt

• Prof. Dr. Jan Jürjens
• Lebenslauf
  • Lebenslauf (Text Version)
• Lehre
• Veröffentlichungen
  • Druckfrisch
  • Chronologisch
  • Thematisch
  • Sichere Softwareentwicklung
  • Programmverständnis
  • Code-Analyse
  • Verlässliche Systeme
  • UML-Modell-Analyse
  • Mathematische Logik
  • Andere
  • Nach Veröffentlichungsart
  • Buch, eingeladene Papiere
  • Zeitschriften / Buchkapitel
  • Internationale Konferenzen
  • Industriekonferenzen / Workshops
  • Editorials / Proceedings
  • Diverses
  • Software
  • Tutorials
• Organisation
• In den Medien
• Forschung
• Kontakt