Formalization and Automation of Company Register Processes via Logic Artifacts of Master Thesis in Computer Science This repository contains all the artifacts that result from my master thesis.