Model Checking: Techniques and Applications

First meeting

Written on 09.11.2020 09:48 by Swen Jacobs

Dear students,

our first meeting will take place on Friday at 10:15. You will receive a zoom link to join.

See you there!