====== Extending the Model Checker [mc]square to Handle the Infineon XC167 Microcontroller ======

===== Student =====
Florian Scheuer

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

~~NOTOC~~