Welcome to the new semester

The lectures have started (physically). Here on this page (as usual) will be slides, a script, other material, beskjeder etc. See also the email I sent, resp.

https://martinsteffen.github.io/programverification

The latter one won't be used for important beskjeder, it's more for tangetial issues.