Secondary Content

• Prof. Dr. Jan Jürjens
• CV
  • CV (Text Version)
• Teaching
• Publications
  • Hot off the Press
  • Chronologically
  • By Topic
  • Secure Software Engineering
  • Program Comprehension
  • Code Analysis
  • Dependable Systems
  • UML Model Analysis
  • Mathematical Logic
  • Others
  • By Publication Type
  • Book, invited Papers
  • Journals / Book Chapters
  • Int. Conferences
  • Ind. Conf./Worksh.
  • Editorials / Proceedings
  • Misc.
  • Software
  • Tutorials
• Organizations
• News in Media
• Research
• Contact