Universität Bremen
FB3 AG BKB CXL

Habilitation Christoph Lüth

This page contains the online version of my habiliation thesis, Formal Software Development: From Foundations to Tools comprising an overview, the CV complete with publication and teaching history etc, and the appendix of papers comprising the thesis (NB. for older papers a PDF version may not be available):