Explore projects

Modified version of the TLA+ tools for usage in ProB

Unofficial implementation of the HHU slide deck in the corporate design portal in LaTeX.

Presentation for the COMMA 2020 of "Structure or Content? Towards assessing Argument Relevance"

Bachelor's thesis project Mario Surleont

LaTeX-Vorlage für Bachelor und Masterarbeiten.