# Examples of the SFL lectures

Dear students,

In this repository, you can find all software demos and many code examples that are part of the SFL lecture series.
In case you miss something, please send an email to christian.rossow [at] cs.uni-dortmund [dot] de.