====== Extending the Model Checker [mc]square by User-Defined Environments ======

===== Student =====
[[:en:lehrstuhl:mitarbeiter:gueckel]]

===== Tutor =====
[[:en:lehrstuhl:mitarbeiter:schlich]]

~~NOTOC~~