Extending the Model Checker [mc]square by User-Defined Environments
Student
Dr. rer. nat. Dominique Marcel Gückel
Tutor
Dr.rer.nat. Bastian Schlich