Model Checking: Techniques and Applications

Feedback now also visible

Written on 03.03.2021 14:28 by Swen Jacobs

I forgot to flip the switch to make the feedback visible. Now it is not only in the system, but you should also be able to see it ;)