Sprungmarken

Servicenavigation

Fachbereich Informatik Institute for Software Technology
Institute für Software Technology

Research Group
Software Engineering

Hauptnavigation


Bereichsnavigation



Diese Seite auf Deutsch

Nebeninhalt

Jürjens

Info Menu

Main Content


Prof. Dr. Jan Jürjens - Journals / Book Chapters

Disclaimer

Journal papers

Mathematical Logic

Secure Software Engineering

Dependability

Invited Journal Papers

Programming Language Semantics

Electronic Journals

Non-English Journal Articles

Invited Book Chapters

Contributed Book Chapters